2875 search results - page 313 / 575 » Model checking agentspeak |
232
Voted
ECCB
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
130
click to vote
IPL
2008
15 years 3 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
130
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
125
Voted
SSS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
134
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...