899 search results - page 174 / 180 » A Temporal Language for SystemC |
201
click to vote
GI
2005
Springer
16 years 16 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
230
click to vote
KES
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
201
click to vote
VRCAI
2004
ACM
16 years 13 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
213
click to vote
CP
2004
Springer
16 years 12 days ago
2004
Springer
This paper considers the problem of transforming a resource feasible, fixed-times schedule into a partial order schedule (POS) to enhance its robustness and stability properties. ...
197
click to vote
IFM
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...