556 search results - page 76 / 112 » An Abstract Reduction Model for Computer Security Risk |
117
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
104
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
115
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
102
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
115
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...