5863 search results - page 299 / 1173 » On Model-Checking of P Systems |
230
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
190
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
211
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
185
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
197
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...