Internet of Things platforms for Smart Cities are technologically complex and deploying them at large scale involves high costs and risks. Therefore, pilot schemes that allow validating proof of concepts, experimenting with different... more
Internet of Things platforms for Smart Cities are technologically complex and deploying them at large scale involves high costs and risks. Therefore, pilot schemes that allow validating proof of concepts, experimenting with different technologies and services, and fine-tuning them before migrating them to actual scenarios, are especially important in this context. The IoT platform deployed across the engineering schools of the Universidad Politécnica de Madrid in the Moncloa Campus of International Excellence represents a good example of a test bench for experimentation with Smart City services. This paper presents the main features of this platform, putting special emphasis on the technological challenges faced and on the solutions adopted, as well as on the functionality, services and potential that the platform offers.
Research Interests:
Research Interests: Computer Science, Distributed Computing, Multimedia Communication, Interoperability, Biomedical Imaging, and 10 moreIEEE, Design Methodology, IP Multimedia Subsystem, IP networks, Server, IEEE Communications Magazine, Streaming Media, Design and Implementation, Electrical And Electronic Engineering, and Enabling
Research Interests:
Research Interests:
Absrrucr - This paper report3 the validation and performance analy- sis of a 4.931 signalling software, which was developed in the kame of the project Factory Customer Premises Network (FCPN. Esprit P2198). In FCPN, a topdown stepwise... more
Absrrucr - This paper report3 the validation and performance analy- sis of a 4.931 signalling software, which was developed in the kame of the project Factory Customer Premises Network (FCPN. Esprit P2198). In FCPN, a topdown stepwise refinement approach was used, sup- ported by the LOTOS Formal Description Technique. This approach was based on a sequence of design steps, where
Research Interests:
... I OBP Internal Signalling lkaflic. The only OBP inter-nal signalling considered in this study is the exchange of traffic channel allocation (SLAL) and deallocation (SLDA) messages sent from the MCS to the UTSs, plus their... more
... I OBP Internal Signalling lkaflic. The only OBP inter-nal signalling considered in this study is the exchange of traffic channel allocation (SLAL) and deallocation (SLDA) messages sent from the MCS to the UTSs, plus their corresponding acknowledgements. ...
Research Interests:
Theoretical Foundations of FDTs. Verification. Transformation. Testing I. Languages and Time. Application of FDTs I. Testing II. Application of FDTs II. Language Enhancements. Design by Stepwise Refinement. Graphical Representations of... more
Theoretical Foundations of FDTs. Verification. Transformation. Testing I. Languages and Time. Application of FDTs I. Testing II. Application of FDTs II. Language Enhancements. Design by Stepwise Refinement. Graphical Representations of FDTs. Application of FDTs III. Tools. Invited Papers: Methodological Objectives for Formal Description Techniques (M. Broy). Conformance Testing Based on Formal Methods (D. Hogrefe). ODP: The Next Target for the Application of FDTs (J.-B. Stefani).
Research Interests:
Research Interests: Computer Science, Network Simulation, Network Design, Quality of Service, ATM networks, and 10 moreTraffic characterization, Graphical User Interfaces, ATM, asynchronous Transfer Mode, Community Networks, Transport Infrastructure, Transport Protocols, Simulation Tool, Base station, and Access Network
Protocol conformance testing provides a extremely valuable mechanism in order to reduce incompatibility risks when interconnecting equipment from different manufacturers. This is achieved by defining a common set of test cases that an... more
Protocol conformance testing provides a extremely valuable mechanism in order to reduce incompatibility risks when interconnecting equipment from different manufacturers. This is achieved by defining a common set of test cases that an implementation must pass to be considered compliant with a particular standard. The benefits of the conformance testing methodology have led major Standardization Organizations to its application to an increasing number of communication protocols (e.g. Asynchronous Transfer mode, Integrated Services Digital Network, Signaling System No. 7, etc.) Thus, nowadays it is common practice to find the definition of Abstract Test Suites (ATSs) along with the technical specifications of a protocol. Unfortunately, things are not that easy when it turns to apply an ATS to a real system. On the one hand, an ATS may consist of a considerable number of test cases. On the other hand, simple they may seem, their preparation and execution may require a long time for the...
This paper describes a brokering platform for the provision of complex services over the Internet. The platform is able to analyse a request for a complex service, divide it into simple components, and combine several services and... more
This paper describes a brokering platform for the provision of complex services over the Internet. The platform is able to analyse a request for a complex service, divide it into simple components, and combine several services and products, offered by different providers, into a solution that satisfies the complex request. The platform helps the user to refine or change the request until a suitable solution is found. After the user agreement, it confirms the transaction to the selected providers. Overall, the client can obtain a complex service, involving several suppliers, in the same way as a simple one. The main innovations of the platform are the use of ontologies to handle the static and dynamic aspects of complex services in different business areas, and the control of the transactional properties of complex services. The system exploits advanced technologies, such as multi-device publishing based on XML, mobile agents, the Enterprise JavaBeans architecture, and the Java 2 Pla...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
ABSTRACT
Research Interests:
The authors present the results of research intended to assess the effect of several transport mechanisms on throughput observed between two transport users communicating over concatenated X.25 networks. A set of simulated and live... more
The authors present the results of research intended to assess the effect of several transport mechanisms on throughput observed between two transport users communicating over concatenated X.25 networks. A set of simulated and live experiments are used to investigate transport performance over X.25 networks. The transport mechanisms of interest (splitting, concatenation, and acknowledgement withholding) are described and the simulation results are presented. Finally, the simulation results are validated with live experiments over two concatenated X.25 networks (ACCUNET and IBERPAC). Use of the three mechanisms considered results in significant improvements in transport-user throughput
Research Interests:
Research Interests:
Research Interests:
ABSTRACT A description is presented of the formal specification and implementation of the D-channel layer-3 protocol used in the user-network interface of the integrated services digital network. This protocol is informally defined in the... more
ABSTRACT A description is presented of the formal specification and implementation of the D-channel layer-3 protocol used in the user-network interface of the integrated services digital network. This protocol is informally defined in the CCITT Recommendation Q.931. The formal description technique LOTOS has been used to formalize this definition and to derive a Q.931 protocol implementation in C language, using semi-automatic tools. The resulting Q.931 implementation will be integrated in a prototype integrated services private branch exchange which is being developed in the DAMS (Dynamically Adaptable Multiservice System) project within the ESPRIT program
Research Interests:
Research Interests:
Page 1. Abstract The IP Multimedia Subsystem (IMS) brings more functionality into communication networks and allows them to offer a range of services beyond the mere transport of media. IMS standard multiparty services ...
Research Interests:
A graphical tool is presented for the analysis and simulation of communication networks. The tool provides a user interface based on windows, icons, and command menus that allows users to define the network topology and attributes easily.... more
A graphical tool is presented for the analysis and simulation of communication networks. The tool provides a user interface based on windows, icons, and command menus that allows users to define the network topology and attributes easily. Application programs that simulate or analyze some network aspect, interact with the tool through a program interface that provides a set of functions for reading the network information stored during the definition phase and presenting their results, either in textural or in graphical form
Research Interests:
Research Interests: Computer Science, Performance Assessment, Signal Analysis, Telematics, Simulation, and 12 morePerformance Analysis, Prototyping, Protocols, Formal Specification, Process Design, Non Functional Requirement, Prototypes, Protocol Specification, Top Down, Conformance Testing, Performance Measure, and Software Performance
Research Interests:
In an ATM-based network it is foreseen that connectionless traffic will be handled by Connectionless Servers (CLSs) interconnected to each other and to the users via semi-permanent connections, forming a Connectionless Overlay Network.... more
In an ATM-based network it is foreseen that connectionless traffic will be handled by Connectionless Servers (CLSs) interconnected to each other and to the users via semi-permanent connections, forming a Connectionless Overlay Network. This paper discusses the necessity of frame-level buffering in the CLSs in order to meet the connectionless service requirements, in particular the maximum allowed frame loss ratio, with a reasonable utilization of network resources. The frame loss and delay performance of a buffered CLS are evaluated both by analysis and by simulation, showing the utilization improvements that can be achieved with properly dimensioned CLS buffers.
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
National Technical University of Athens (NTUA), Greece E-mail: akalt@telecom.ntua.gr E-mail: isygk@telecom.ntua.gr E-mail: mstrim@telecom.ntua.gr E-mail: miltos@telecom.ntua.gr ... Universidad Politécnica de Madrid (UPM), Spain E-mail: ...
Research Interests:
Research Interests: Information Systems, Computer Science, Ontology, IDS, Quality of Service, and 9 moreProcess Improvement, Rule Based Fuzzy Inference, Security Policy, IP networks, Service Level Agreement, Computer Sciences: information security, Community Networks, Computer Networks and Information Security, and Service Provider
Title FORTE'91 Proceedings of the IFIP TC6/WG6. 1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV table of contents
Research Interests:
Research Interests:
El Archivo Digital UPM alberga en formato digital la documentacion academica y cientifica (tesis, pfc, articulos, etc..) generada en la Universidad Politecnica de Madrid.Los documentos del Archivo Digital UPM son recuperables desde... more
El Archivo Digital UPM alberga en formato digital la documentacion academica y cientifica (tesis, pfc, articulos, etc..) generada en la Universidad Politecnica de Madrid.Los documentos del Archivo Digital UPM son recuperables desde buscadores: Google, Google Academics, Yahoo ...
Research Interests:
Research Interests:
HSPA (High Speed Packet Access) technologies have become an attractive solution for broadband wireless Internet access. This article evaluates the quality of service experimented by one HSPA user in the presence of multiple terminals... more
HSPA (High Speed Packet Access) technologies have become an attractive solution for broadband wireless Internet access. This article evaluates the quality of service experimented by one HSPA user in the presence of multiple terminals sharing the cell ...
Research Interests:
J. Solé-Pareta et al. (Eds.): QofIS 2004, LNCS 3266, pp. 204213, 2004. © Springer-Verlag Berlin Heidelberg 2004 ... Efficiency Issues in MPLS Transport for the UMTS Access Network ... Enrique Vázquez, Manuel Álvarez-Campana, and Ana B.... more
J. Solé-Pareta et al. (Eds.): QofIS 2004, LNCS 3266, pp. 204213, 2004. © Springer-Verlag Berlin Heidelberg 2004 ... Efficiency Issues in MPLS Transport for the UMTS Access Network ... Enrique Vázquez, Manuel Álvarez-Campana, and Ana B. García ... Dept. of Telematics, Technical ...