Tomás Robles

Universidad Politécnica de Madrid | UPM · Departamento de Ingeniería de Sistemas Telemáticos

Current OSA/PARLAY standard defines an architecture that enables service application located into an ASP to invoke network services capabilities through an open standardized interface. Nevertheless, architectures proposed within this standard work are isolated from other OSA/PARLAY infrastructures belonging to other network operators. In this resea...

RDF looks like the first step to build the Semantic Web vi- sion. Our long-term goal is to have a sound way to verify and validate the semantic web interactions that applications and agents may develop in a distributed environment. The first step for reaching this goal is to provide a useful semantic support to RDF itself. Based on this formal supp...

Isabel is a P2P like multipoint group collaboration tool for the Internet, which implements an innovative service concept for synchronous collaborations based on a flexible and programmable floor control. This approach leads to a more natural and effective management of collaboration sessions. The flexible and programmable floor control incorporate...

This paper describes the main issues arising during theport of the Isabel CSCW application to IPv6. Isabel hasbeen ported to IPv6 in the European IST-1999-20393LONG project. The port was validated in the distributionof the Madrid Global IPv6 Summit in March 2002. Thedistribution of the Global IPv6 Summit was a large trialwhere access to the confere...

The tremendous growth rates of the Internet as well as the area of mobile communications give rise to the chance that the mobile Internet is most promising by combining both the Internet and mobile communications. These prospects are the motivation for the European research project BRAIN (Broadband Radio Access for IP-based Networks), which is deve...

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 Serv...

In December 1996, a project called LVARTS was finished and delivered to the ESA. The goal was to validate a real system, namely ATAC, an ADA coprocessor chip, running on a real board. The system was big enough to develop specific methodologies and tools, which are described in this paper. LOTOS was chosen to formally specify ATAC. The formal specif...

Without Abstract

This paper focuses on the process of generating test suites for conformance testing. It aims to formalize the stages that go from a formal specification, through test purpose definition, into a test suite. We shall provide a language to formalize test purposes, and an algorithm that permits to merge the reference specification, plus the test purpos...

Este artículo presenta el Sistema diseñado para permitir la monitorización remota de niños con problemas de apnea. El Sistema se ha diseñado en colaboración con el Hospital de LA PAZ, para identificar los elementos clave para detectar la apnea, incluyendo las señales que deben ser analizadas y las funcionalidades claves del sistema. En LA PAZ tambi...