12981 search results - page 300 / 2597 » Model Checking (Abstract) |
139
click to vote
GAMESEC
2010
15 years 1 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...
130
click to vote
FUIN
2007
15 years 3 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige ...
101
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...