714 search results - page 57 / 143 » Certifying Model Checkers |
COMCOM
2008
13 years 7 months ago
2008
In this paper, we address the problem of increasing the effectiveness of an intrusion detection system (IDS) for a cluster of nodes in ad hoc networks. To reduce the performance o...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
ENTCS
2006
13 years 7 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...