1463 search results - page 205 / 293 » Model Checking Implicit-Invocation Systems |
100
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
119
click to vote
GAMESEC
2010
14 years 11 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
121
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
106
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
112
click to vote
MSWIM
2006
ACM
15 years 7 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...