1256 search results - page 42 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
141
click to vote
COOP
2004
15 years 4 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
141
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
146
click to vote
EDBT
2011
ACM
14 years 6 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
129
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
123
click to vote
EUC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...