3573 search results - page 233 / 715 » Reasoning about Codata |
138
click to vote
AIMS
2008
Springer
15 years 10 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
109
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
143
click to vote
CSFW
2006
IEEE
15 years 10 months 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...
134
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
124
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...