2513 search results - page 126 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
157
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
128
click to vote
INFORMATICALT
2002
15 years 4 months ago
2002
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
132
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
144
click to vote
WEBENG
2001
Springer
15 years 9 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
160
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...