674 search results - page 86 / 135 » Using Abuse Case Models for Security Requirements Analysis |
CIMCA
2005
IEEE
14 years 3 days ago
2005
IEEE
This paper describes the research and development of a methodology to identify the type of information required by the service advisor (CSA) within customer contact centre (CCC) e...
BPM
2008
Springer
14 years 4 days ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
WSC
2007
14 years 14 days ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
ISSTA
2010
ACM
14 years 3 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
FM
2001
Springer
14 years 2 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...