5863 search results - page 432 / 1173 » On Model-Checking of P Systems |
221
Voted
ACSAC
2007
IEEE
16 years 2 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
196
Voted
QEST
2007
IEEE
16 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
223
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
232
Voted
AGP
2003
IEEE
16 years 1 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
238
Voted
TACAS
1998
Springer
15 years 12 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...