3047 search results - page 348 / 610 » A Temporal Consensus Model |
157
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
196
click to vote
FMICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
189
click to vote
LFCS
2007
Springer
16 years 20 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
148
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
138
click to vote
ICCSA
2010
Springer
15 years 11 months ago
2010
Springer
In the spatial-integrated socioeconomic model field, a multi-agent approach is appropriate for supporting applications modelled at a detailed territory scale, but it is less used t...