481 search results - page 32 / 97 » Model Checking Abstract State Machines and Beyond |
103
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
148
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
122
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
103
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
103
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...