Sciweavers

31 search results - page 4 / 7
» Service specification and validation in the context of the h...
Sort
View
EUSAI
2004
Springer
14 years 25 days ago
Multiple User Profile Merging (MUPE): Key Challenges for Environment Awareness
In this paper we describe the issues that need to be addressed when setting up an aware environment occupied simultaneously by several users. Combining the delivery of services for...
Ben Salem, Matthias Rauterberg
FMOODS
2008
13 years 9 months ago
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
Luís Cruz-Filipe, Ivan Lanese, Francisco Ma...
PERCOM
2007
ACM
14 years 7 months ago
Dynamic Context Bindings in Pervasive Middleware
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...
Tom Broens, Marten van Sinderen, Aart van Halteren...
FMICS
2008
Springer
13 years 9 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
MDM
2004
Springer
147views Communications» more  MDM 2004»
14 years 24 days ago
Mobile Agents: Can They Assist with Context Awareness?
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
Arkady B. Zaslavsky