127 search results - page 23 / 26 » A Calculus for Causal Relevance |
AIPS
2009
14 years 10 months ago
2009
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
ESWS
2008
Springer
14 years 10 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
CAISE
2010
Springer
14 years 9 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
77
Voted
IANDC
2006
14 years 9 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
ENTCS
2007
14 years 9 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...