2291 search results - page 282 / 459 » Logic Programming and Model Checking |
115
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
143
Voted
LPAR
2010
Springer
15 years 23 days ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
123
click to vote
CDC
2009
IEEE
15 years 5 days ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
221
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
123
Voted
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...