1108 search results - page 106 / 222 » Model Checking of Safety Properties |
101
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
127
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
116
click to vote
USS
2010
14 years 10 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
110
Voted
ENTCS
2008
15 years 24 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...