13489 search results - page 462 / 2698 » Operating System |
183
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
165
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
181
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—Energy consumption is a critical parameter in wireless healthcare systems which consist of battery operated devices such as sensors and local aggregators. The system battery lif...
162
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
193
click to vote
USENIX
2008
15 years 9 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...