3047 search results - page 258 / 610 » On the Meaning of Logical Completeness |
216
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
183
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
213
Voted
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
211
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
183
Voted
EXACT
2008
15 years 10 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...