1448 search results - page 47 / 290 » Deadlock Detection in Distributed Systems |
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
ESOP
2012
Springer
12 years 5 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
ARTDB
1997
Springer
14 years 2 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Quickest detection is applied to frequency spectrum sensing in cognitive radio systems. Distribution change in frequency domain is detected for vacating secondary radio...