Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Tomás de Miguel is active.

Publication


Featured researches published by Tomás de Miguel.


Computer Networks and Isdn Systems | 1993

Tool support to implement LOTOS formal specifications

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

ISABEL: A CSCW Application for the Distribution of Events

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

ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks

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

A PRAGMATIC APPROACH TO VERIFICATION, VALIDATION AND COMPILATION

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

Advanced Collaborative Services Provisioning in Next Generation Networks

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

Implementation of an IPv6 Multihoming Ingress Filtering Compatibility Mechanism Using Automatic Tunnels

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

Managing Distributed Conferences with ISABEL

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

Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec

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

From LOTOS to C

José A. Mañas; Tomás de Miguel


information technology based higher education and training | 2004

A Virtualization Tool in Computer Network Laboratories

F. Galn; D. Fernndez; J. Riz; Omar Walid; Tomás de Miguel

Collaboration


Dive into the Tomás de Miguel's collaboration.

Top Co-Authors

Avatar

Joaquín Salvachúa

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Juan Quemada

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Santiago Pavón

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

José A. Mañas

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Tomás Robles

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Eva M. Castro

King Juan Carlos University

View shared research outputs
Top Co-Authors

Avatar

Gabriel Huecas

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Manuel Petit

Technical University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Elena Apolinario

Complutense University of Madrid

View shared research outputs
Top Co-Authors

Avatar

Javier Sedano

Complutense University of Madrid

View shared research outputs
Researchain Logo
Decentralizing Knowledge