193 search results - page 32 / 39 » Modeling and Reasoning with Star Calculus |
ENTCS
2006
13 years 10 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
FLOPS
2004
Springer
14 years 3 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
TON
2010
13 years 4 months ago
2010
Network diagnosis, an essential research topic for traditional networking systems, has not received much attention for wireless sensor networks. Existing sensor debugging tools li...