Sciweavers

6271 search results - page 1164 / 1255
» The RACE network architecture
Sort
View
IIWAS
2008
13 years 11 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
MBEES
2007
13 years 11 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
SIMUTOOLS
2008
13 years 11 months ago
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
Hermann S. Lichte, Stefan Valentin
SWAP
2008
13 years 11 months ago
Uniform Access to Domotic Environments through Semantics
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...
Dario Bonino, Emiliano Castellina, Fulvio Corno
SWWS
2008
13 years 11 months ago
Multi-Modal Health and Activity Monitoring Framework for Elderly People at Home
- Since the population of elderly people grows absolutely and in relation to the overall population in the world, the improvement of the quality of life of elderly people at home i...
Ross Velentzas, Andy Marsh, Christos Biniaris, Jer...
« Prev « First page 1164 / 1255 Last » Next »