4722 search results - page 576 / 945 » Encoding Program Executions |
124
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
152
click to vote
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
148
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
114
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
129
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...