2513 search results - page 216 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
156
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
170
click to vote
MATES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
145
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
177
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
170
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...