2403 search results - page 123 / 481 » Using the WinWin Spiral Model: A Case Study |
154
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
136
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
195
click to vote
MASCOTS
2004
15 years 7 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
198
click to vote
ESEM
2009
ACM
16 years 26 days ago
2009
ACM
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...
199
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...