3104 search results - page 484 / 621 » Using quantitative analysis to implement autonomic IT system... |
136
click to vote
CHI
1995
ACM
15 years 8 months ago
1995
ACM
The Virtual Window system uses head movements in a local office to control camera movement in a remote office. The result is like a window allowing exploration of remote scenes ra...
121
Voted
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
138
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
The application of structured overlay networks to implement index structures for data-oriented applications such as peer-to-peer databases or peer-to-peer information retrieval, r...
154
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
121
click to vote
DSS
2002
15 years 4 months ago
2002
The success of an executive information system (EIS) depends upon many factors, including providing support for the strategic management process (SMP). The SMP is comprised of fiv...