Sciweavers

4286 search results - page 549 / 858
» Formalizing Service Interactions
Sort
View
PERCOM
2005
ACM
16 years 4 months ago
Towards a Pervasive Computing Benchmark
Pervasive computing allows the coupling of the physical world to the information world, and provides a wealth of ubiquitous services and applications that allow users, machines, d...
Anand Ranganathan, Jalal Al-Muhtadi, Jacob T. Bieh...
KI
2009
Springer
15 years 11 months ago
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
Florian Pommerening, Stefan Wölfl, Matthias W...
SRDS
2008
IEEE
15 years 11 months ago
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
Devdatta Kulkarni, Anand Tripathi
ICALT
2007
IEEE
15 years 11 months ago
Principles for Designing Activity-based Personalized eLearning
Activity-based Personalized eLearning involves delivering to a learner a learning experience that is tailored to their individual needs. Traditionally, these needs have been met t...
Owen Conlan, Ian O'Keeffe, Aoife Brady, Vincent Wa...
SASO
2007
IEEE
15 years 11 months ago
Adaptive SSL: Design, Implementation and Overhead Analysis
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
Christiaan J. Lamprecht, Aad P. A. van Moorsel