4341 search results - page 628 / 869 » Quantitative Model checking |
145
click to vote
IEEEPACT
2007
IEEE
16 years 26 days ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
159
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
156
click to vote
RSP
2007
IEEE
16 years 25 days ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
172
click to vote
ASIAN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
188
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...