285 search results - page 37 / 57 » Game Semantics and Subtyping |
136
click to vote
ESAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
142
click to vote
ICICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
169
click to vote
BERTINORO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
138
click to vote
ENTCS
2002
15 years 5 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
144
click to vote
LICS
2009
IEEE
16 years 4 days ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...