4595 search results - page 565 / 919 » Reasoning about Plans |
175
click to vote
ECAI
2004
Springer
16 years 8 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...
166
click to vote
ERCIMDL
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
149
click to vote
ESOP
2004
Springer
16 years 8 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 ...
186
click to vote
ESORICS
2004
Springer
16 years 8 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
171
click to vote
EUROPAR
2004
Springer
16 years 8 days ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...