4224 search results - page 479 / 845 » Reasoning about Choice |
185
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
174
Voted
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
167
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
175
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
146
click to vote
ESOP
2004
Springer
16 years 6 days 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 ...