826 search results - page 21 / 166 » Resolving Concurrent Interactions |
CSL
2005
Springer
15 years 7 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
111
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
112
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
100
Voted
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
121
click to vote
GIS
2002
ACM
15 years 2 months ago
2002
ACM
Enterprises in the public and private sectors have been making their large spatial data archives available over the Internet. However, interactive work with such large volumes of ...