2407 search results - page 278 / 482 » A Tool for Abstraction in Model Checking |
210
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
180
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
216
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
171
click to vote
IRI
2006
IEEE
16 years 1 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
211
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...