3831 search results - page 29 / 767 » Dynamic Context Logic |
IRI
2006
IEEE
14 years 3 months ago
2006
IEEE
We introduce, in this article, a way for building a Virtual Environment for Training to manage dynamic and collaborative situations in team sport. In these situations, relevant in...
ECOOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...
ISWC
2003
IEEE
14 years 3 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...