2152 search results - page 384 / 431 » An Abstract Account of Composition |
151
click to vote
LCTRTS
2010
Springer
16 years 28 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
202
click to vote
LICS
2009
IEEE
16 years 22 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
153
click to vote
CCA
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
175
click to vote
CRYPTO
2009
Springer
16 years 20 days ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
155
click to vote
FC
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...