3081 search results - page 351 / 617 » A Formal Ontology of Properties |
166
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
166
click to vote
IFM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
160
click to vote
SEMWEB
2005
Springer
16 years 5 days ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
153
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
207
click to vote
FORMATS
2004
Springer
16 years 2 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...