272 search results - page 30 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
138
click to vote
PDSE
1998
15 years 4 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
142
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a mailbox-based scheme for designing flexible and adaptive message delivery protocols in mobile agent (MA) systems. The scheme associates each mobile agent wit...
128
click to vote
JAIR
2008
15 years 3 months ago
2008
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agent...
151
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
155
click to vote
TMC
2008
15 years 3 months ago
2008
A k-hop dominating set is a subset of nodes such that each node not in the set can be reached within k hops from at least one node in the set. A connected k-hop dominating set can ...