2227 search results - page 107 / 446 » Reversibility and Models for Concurrency |
167
click to vote
COMPSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
145
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
162
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
157
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
164
click to vote
PERCOM
2009
ACM
16 years 24 days ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...