5634 search results - page 708 / 1127 » About Abstract Classes |
199
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
181
click to vote
LICS
2006
IEEE
16 years 27 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
195
Voted
EUROCRYPT
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
172
Voted
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
This paper defines the basic notions of local and non-local tasks, and determines the minimum information about failures that is necessary to solve any non-local task in message-p...
200
Voted
RSCTC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Institutional databases can be instrumental in understanding a business process, but additional data may broaden the empirical perspective on the investigated process. We...