328 search results - page 61 / 66 » Proving Termination of Communicating Programs |
146
click to vote
ESTIMEDIA
2009
Springer
15 years 11 months ago
2009
Springer
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
123
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
129
Voted
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
135
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we investigate extensions of the well-known Vickrey-Clarke-Groves (VCG) mechanisms to problems whose objective function is not utilitarian and whose agents’ utiliti...
178
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...