1256 search results - page 42 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
161
click to vote
COOP
2004
15 years 6 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...
157
click to vote
QEST
2006
IEEE
15 years 11 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 ...
168
Voted
EDBT
2011
ACM
14 years 8 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...
144
click to vote
DEBS
2008
ACM
15 years 6 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...
148
click to vote
EUC
2006
Springer
15 years 8 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...