4722 search results - page 576 / 945 » Encoding Program Executions |
190
click to vote
ISORC
2008
IEEE
16 years 1 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 ...
216
click to vote
SRDS
2008
IEEE
16 years 1 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...
215
click to vote
FPL
2007
Springer
16 years 1 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...
168
click to vote
IFIP
2007
Springer
16 years 1 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 ...
181
click to vote
OTM
2007
Springer
16 years 1 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...