3193 search results - page 423 / 639 » A Security Risk Analysis Model for Information Systems |
208
click to vote
DRR
2008
15 years 8 months ago
2008
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...
205
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
210
click to vote
EUROPAR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
190
click to vote
IASSE
2004
15 years 8 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
218
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
Increasingly, multi-agent systems are being designed for a variety of complex, dynamic domains. E ective agent interactions in such domains raise some of most fundamental research...