17789 search results - page 3217 / 3558 » Exceptional Use Cases |
195
Voted
OOPSLA
2007
Springer
16 years 27 days 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...
199
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
163
click to vote
TAMC
2007
Springer
16 years 26 days ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...
201
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
218
click to vote
ECRTS
2006
IEEE
16 years 25 days ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...