1463 search results - page 4 / 293 » Model Checking Implicit-Invocation Systems |
106
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
130
click to vote
QEST
2010
IEEE
15 years 1 days ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
126
Voted
GI
2009
Springer
14 years 12 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
130
click to vote
USS
2010
15 years 21 hour 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 ...
184
click to vote
CLIMA
2011
14 years 2 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...