1612 search results - page 272 / 323 » About models of security protocols |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
101
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
101
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
FMSP
2000
ACM
15 years 2 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
ACMICEC
2007
ACM
15 years 1 months ago
2007
ACM
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...