3082 search results - page 155 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
159
click to vote
BIS
2008
15 years 7 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
145
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
204
click to vote
DATE
2005
IEEE
16 years 6 hour ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
155
click to vote
NDSS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we analyze a new class of pulsing denialof-service (PDoS) attacks that could seriously degrade the throughput of TCP flows. During a PDoS attack, periodic pulses of...