4418 search results - page 379 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
140
click to vote
UAI
2003
15 years 8 months ago
2003
Decentralized resource allocation is a key problem for large-scale autonomic (or self-managing) computing systems. Motivated by a data center scenario, we explore efficient techn...
189
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
169
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
179
click to vote
GRC
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the most substantial ways to protect users’ sensitive information is encryption. This paper is about the keyword index search system on encrypted documents. It has bee...
172
click to vote
JSSPP
2004
Springer
16 years 5 days ago
2004
Springer
Computer system batch schedulers typically require information from the user upon job submission, including a runtime estimate. Inaccuracy of these runtime estimates, relative to ...