961 search results - page 117 / 193 » An Algorithm for Computing Semi-stable Semantics |
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Unreliable failure detectors are a well known means to enrich asynchronous distributed systems with time-free semantics that allow to solve consensus in the presence of crash failu...
IWAN
2001
Springer
14 years 1 months ago
2001
Springer
Active networks have been recently highlighted as a key enabling technology to obtain immense flexibility in terms of network deployment, configurability, and customized packet pro...
ACL
2009
13 years 6 months ago
2009
Modern models of relation extraction for tasks like ACE are based on supervised learning of relations from small hand-labeled corpora. We investigate an alternative paradigm that ...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
HIPC
2009
Springer
13 years 6 months ago
2009
Springer
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...