4126 search results - page 412 / 826 » Relationships with other Formalisms |
146
click to vote
ASM
2005
ASM
16 years 13 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
152
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
185
click to vote
CALCO
2005
Springer
16 years 13 days ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
196
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
168
click to vote
CIE
2005
Springer
16 years 12 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...