786 search results - page 41 / 158 » A static theory of promises |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We consider (prediction) markets where myopic agents sequentially interact with an automated market maker. We show a broad negative result: by varying the order of participation, ...
TOPLAS
2008
14 years 8 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper we consider disturbance decoupling problems for switched linear systems. We will provide necessary and sufficient conditions for three different versions of disturban...