5084 search results - page 345 / 1017 » Proving Possibility Properties |
157
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
180
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
189
click to vote
MATES
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
164
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
175
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...