Tomás de Miguel
Technical University of Madrid
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Tomás de Miguel.
Computer Networks and Isdn Systems | 1993
José A. Mañas; Tomás de Miguel; Joaquín Salvachúa; Arturo Azcorra
Abstract LOTOS is a specification language that aims to describe the dynamic behavior of complex systems. To a large extent, LOTOS semantics is operational, which gives an opportunity to execute the specifications. There may be several targets in specification execution, three of which are considered in the paper: rapid prototyping, system testing, and real product derivation. The outstanding problem is to map abstract entities onto real entities, both to effectively act on the environment, and to allow the environment to influence specification behavior. For a final product, performance must be assessed too, as well as other non-functional requirements. The paper describes the opportunities provided by TOPO, a compiler from LOTOS into either C or Ada code. Supported features are described and wrapped into a method. Performance figures are provided too, in order to make estimates on realization performance after the specification style.
Proceedings of the Third International COST 237 Workshop on Multimedia Telecommunications and Applications | 1996
Juan Quemada; Tomás de Miguel; Arturo Azcorra; Santiago Pavón; Joaquín Salvachúa; Manuel Petit; David Larrabeiti; Tomás Robles; Gabriel Huecas
Introduction Many activities which in the past have required physical presence and direct interaction among participants can be performed in a distributed fashion with the help of advanced information technologies such as, CSCW [1,2] (Computer Supported Cooperative Work), interactive multimedia services and broadband communications. Technologies aiming at supporting the collaboration among individuals or groups are identified under the term groupware technologies. Asynchronous interactions which do not require physical presence of interacting persons have matured during the last years. Very successful examples of asynchronous groupware exist. LOTUS Notes [3] is considered probably the most successful commercial product in this area. The Internet and many of its application can be considered as groupware technologies to some extend. Technology can support today also synchronous interaction where real time contact among individuals is required. We mean by synchronous interaction the exchange of verbal, visual, ... messages or information, like the exchanges of information carried out typicaly in meetings, conversations or other activities where several participants collaborate in physical presence. Remote synchronous interaction is not new, the plain old telephone is a very good example of an old technology supporting a simple but very effective form of synchronous interaction. POTS is today by far the most demanded synchronous service. This service has evolved into N to N audioconference or videoconference facilities. Computers in general and the Internet have also had primitive types of character oriented synchronous interactive services for a long time, like TALK, IRC, ... Today low quality voice and video over the Internet is also common practice with applications like, CU-SeeMe, IVS, VAT, ... Audiovisual broadcasting is also a highly demanded type of remote synchronous interaction which has been done since many years. Although broadcasting has really no interaction because the flow of information is unidirectional, it is nevertheless being addressed in the experiments performed for creating new synchronous services. One of the most popular services on the multicast backbone of the Internet, also known as the MBONE, is the conference broadcasting for which a Session Directory (SD) exists where the list of broadcast conferences is displayed in real time. Sophisticated forms of remote synchronous interaction requiring good quality telepresence demand more bandwidth and more reliable communications to achieve a proper interaction. Therefore for setting up large sacle experiments like the RACE/ACTS Summer Schools [2,5,6,9] a complex collaboration among a large number of organizations has been needed. In addition, the availability of large …
IWACA '94 Proceedings of the Second International Workshop on Multimedia: Advanced Teleservices and High-Speed Communication Architectures | 1994
Tomás de Miguel; Santiago Pavón; Joaquín Salvachúa; Juan Quemada; Pedro Luis Chas Alonso; Javier Fernandez-Amigo; Carlos M. Acuña; Lidia Rodriguez Yamamoto; Vasco Lagarto; Joao Vastos
Users are looking towards ATM technology as a suitable solution for specific applications in the new field of distributed multimedia. The aim of ISABEL is to take benefit of the new broadband technology in order to provide a good access to new distributed multimedia facilities. The application has been developed to cover two main fields: distance learning activities between two or more real conference rooms and a flexible framework to configure many different computer support cooperative work (CSCW) scenarios. The paper describes the functionality of ISABEL and its use to support real experiments.
Archive | 1995
Tomás de Miguel; Arturo Azcorra; Juan Quemada; José A. Mañas
The scope of this work is the industrial application of the Lotosphere methodology for distributed system design. The operational aspects of the Lotosphere methodology are described in [D02].
EUNICE | 2006
Miguel Gómez; Tomás de Miguel; Fermín Galán
The 3GPP IMS subsystem, adopted also by the ITU-T/ETSI NGN initiative, proves to be a powerful framework for the provision of conferencing services. Collaborative Services, although based on multipoint conferencing, present their own set of requirements and distinguishing features. This paper tries to present an overview of the conferencing framework available in IMS-based networks, in order to analyse next the requirements and necessary extensions for advanced collaborative service provisioning in this environment. Finally, an architecture proposal for an IMS-compatible collaborative server is presented, and the undertaken validation experiments and prototypes tackled.
EUNICE | 2006
Carlos Barcenilla; Antonio Tapiador; David Fernández; Omar Walid; Tomás de Miguel
Nowadays, many organizations need to be multihomed in order to achieve fault tolerant Internet access. Unfortunately, the hierarchical nature of IPv6 addressing architecture poses some threats on multihoming. The IETF is designing a solution based on the discussion of several approaches to solve the problem. Ingress filters are part of the problem, so ingress filtering compatibility mechanisms are needed. This paper discusses the host-centric multihoming approach and describes an implementation of an ingress filtering compatibility mechanism based on automatic tunnels and anycast addresses. The implementation has proven to work properly, being easily developed and deployed.
MMNS '00 Proceedings of the EEE/IFIP TC6 - WG6.4 & WG6.6 Third International Conference on Management of Multimedia Networks and Services: Managing QoS in Multimedia Networks and Services | 2000
Tomás Robles; Hector Velayos; Juan Quemada; Tomás de Miguel; Santiago Pavón; Joaquín Salvachúa; Gabriel Huecas; Eva M. Castro; Manuel Petit
ISABEL provides a platform for development of new multimedia services, including distributed conferences, with presentations and attendances located in rooms at different sites. ISABEL permits the definition of new services adapted to the specific requirements of each case. It builds its own communication network providing a uniform Quality of Service through the variety of interconnected sub-networks. Nevertheless, technical problems are not the only problems on this kind of events. Planning, management and realisation of a Distributed congress covering several continents are issues directly related with technology management and co-operation between persons and computer systems. This paper reviews technical and organisation problems involved in the realisation of a Distributed Congress and proposes an organisation model based on the ISABEL platform to deal with them.
formal techniques for (networked and) distributed systems | 1991
José A. Mañas; Joaquín Salvachúa; Tomás de Miguel
An abracadabra protocol entity is implemented in a PC running MS-DOS. The protocol was initially specified using LOTOS. After annotating it to add implementation details, a LOTOS to C compiler, TOPO, is used to generate code. This code is ported to a PC. The result is an autonomous system that will be used to demonstrate conformance testing scenarios involving the use of formal description techniques.
formal techniques for (networked and) distributed systems | 1988
José A. Mañas; Tomás de Miguel
information technology based higher education and training | 2004
F. Galn; D. Fernndez; J. Riz; Omar Walid; Tomás de Miguel