Sciweavers

950 search results - page 88 / 190
» A Game Community Support System
Sort
View
ATC
2006
Springer
15 years 1 months ago
Towards a Standards-Based Autonomic Context Management System
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
Jadwiga Indulska, Karen Henricksen, Peizhao Hu
SIGMOD
2003
ACM
162views Database» more  SIGMOD 2003»
15 years 10 months ago
DBGlobe: a service-oriented P2P system for global computing
The challenge of peer-to-peer computing goes beyond simple file sharing. In the DBGlobe project, we view the multitude of peers carrying data and services as a superdatabase. Our ...
Evaggelia Pitoura, Serge Abiteboul, Dieter Pfoser,...
SG
2005
Springer
15 years 3 months ago
VR-Mirror: A Virtual Reality System for Mental Practice in Post-Stroke Rehabilitation
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
José Antonio Lozano, Javier Montesa, Mari C...
ICTAI
2008
IEEE
15 years 4 months ago
DOG: An Ontology-Powered OSGi Domotic Gateway
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
Dario Bonino, Emiliano Castellina, Fulvio Corno
SOFSEM
2012
Springer
13 years 5 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman