1206 search results - page 120 / 242 » Power management in the EPOS system |
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
ENTER
2006
Springer
14 years 1 months ago
2006
Springer
The complexity and dynamic nature of travelling offers many opportunities for technological support. But printed guidebooks remain the typical companion, despite many weaknesses. ...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
BXML
2004
2004
Experiences Using Semantic Web Technologies to Realize an Information Retrieval System for Pathology
13 years 11 months ago
: Building the Semantic Web requires the use of powerful tools to create, manage and extend domain ontologies represented with Semantic Web languages. Though many tools have been a...
CIDR
2003
13 years 11 months ago
2003
Current database management system technology is not well equipped to provide adequate support for what has been deemed the 3rd wave of computing -- Ubiquitous Computing. Such app...