2272 search results - page 98 / 455 » A Calculus for |
184
click to vote
IDTRUST
2009
ACM
16 years 27 days ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
144
click to vote
IFIP
2009
Springer
16 years 20 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
161
click to vote
TABLEAUX
2009
Springer
16 years 19 days ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
143
Voted
DEBS
2009
ACM
16 years 19 days ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
140
click to vote
FCT
2007
Springer
16 years 8 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...