7099 search results - page 12 / 1420 » Context for models of concurrency |
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
CONCURRENCY
2010
13 years 7 months ago
2010
EUC
2008
Springer
13 years 11 months ago
2008
Springer
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...
ENTCS
2010
13 years 10 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
CASCON
1993
13 years 11 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...