1912 search results - page 98 / 383 » On the evaluation of argumentation formalisms |
176
click to vote
CSFW
2006
IEEE
16 years 11 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
119
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
159
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
142
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
152
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...