10275 search results - page 1905 / 2055 » Case Studies of Autonomy |
192
click to vote
TARK
2007
Springer
16 years 18 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...
143
click to vote
VMCAI
2007
Springer
16 years 18 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
151
click to vote
WDAG
2007
Springer
16 years 18 days ago
2007
Springer
We introduce the problem of load-distance balancing in assigning users of a delay-sensitive networked application to servers. We model the service delay experienced by a user as a ...
184
click to vote
DASC
2006
IEEE
16 years 17 days ago
2006
IEEE
Blade severs are being increasingly deployed in modern datacenters due to their high performance/cost ratio and compact size. In this study, we document our work on blade server b...
150
click to vote
HPCS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...