32032 search results - page 146 / 6407 » Verified programming in Guru |
137
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
152
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
149
click to vote
ISICT
2003
15 years 6 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
126
click to vote
FORTE
1990
15 years 5 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
145
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...