7099 search results - page 61 / 1420 » Context for models of concurrency |
LOGCOM
2007
13 years 9 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
CONCURRENCY
2004
13 years 9 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
MRCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
Middleware support for pervasive context-aware systems relieves context-aware applications from dealing with the complexity of context-specific operations such as context acquisit...