10038 search results - page 1679 / 2008 » Model Checking for Managers |
148
click to vote
PADS
1997
ACM
15 years 10 months ago
1997
ACM
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may als...
175
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
As multicast applications are deployed for mainstream use, the need to secure multicast communications will become critical. Multicast, however, does not t the point-to-point mod...
212
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
192
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
178
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...