1360 search results - page 179 / 272 » Reasoning on Workflow Executions |
109
Voted
WDAG
1990
Springer
15 years 7 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
105
click to vote
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
121
Voted
AAAI
2007
15 years 5 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
76
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
129
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...