Sciweavers

1036 search results - page 67 / 208
» Ubiquitous Verification of Ubiquitous Systems
Sort
View
WAC
2004
Springer
14 years 1 months ago
Semantic-Based Policy Engineering for Autonomic Systems
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
David Lewis, Kevin Feeney, Kevin Carey, Thanassis ...
ATC
2007
Springer
14 years 1 months ago
A Distributed Self-healing Data Store
Due to the huge amount of integrated devices and sensors in everyday objects ubiquitous systems are in vicinity and will be deployed in large scales in the near future. We expect t...
Wolfgang Trumler, Jörg Ehrig, Andreas Pietzow...
CHI
2004
ACM
14 years 8 months ago
The future of signs: interactive information, inexpensively!
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We�...
Aradhana Goel, Michael Higgins, Mickey McManus, Ma...
SEAA
2008
IEEE
14 years 2 months ago
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
Antonia Bertolino, Guglielmo De Angelis, Francesca...
SASO
2007
IEEE
14 years 1 months ago
Adaptive Self-optimization in Distributed Dynamic Environments
Grid and ubiquitous computing systems generally consist of a large number of networked nodes with applications implemented as distributed services or processes, respectively. A cr...
Wolfgang Trumler, Andreas Pietzowski, Benjamin Sat...