345 search results - page 57 / 69 » A process logic for distributed system synthesis |
115
click to vote
IJCSA
2006
14 years 11 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
107
click to vote
MAAMAW
1994
Springer
15 years 3 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
134
click to vote
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
100
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
CSUR
1999
14 years 11 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...