266 search results - page 6 / 54 » Specification and Verification of Dynamic Communication Syst... |
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
DIMVA
2008
13 years 8 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...