2473 search results - page 195 / 495 » The Logic of Communication Graphs |
132
Voted
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
143
Voted
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— The multihop spatial reuse Aloha (MSR-Aloha) protocol was recently introduced by Baccelli et al., where each transmitter selects the receiver among its feasible next hops that ...
135
click to vote
ECRA
2002
15 years 3 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
174
click to vote
LOGCOM
1998
15 years 3 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...