1856 search results - page 140 / 372 » Formal Dialectic Specification |
129
click to vote
JSW
2008
15 years 4 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
166
click to vote
AIM
2002
15 years 4 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...
119
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
143
click to vote
WDAG
1993
Springer
15 years 8 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
125
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...