200 search results - page 21 / 40 » A Protocol for Execution of Distributed Logic Programs |
115
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
120
Voted
ICPPW
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
157
click to vote
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
105
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
123
click to vote
PADS
2006
ACM
15 years 6 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...