3384 search results - page 447 / 677 » More Testable Properties |
166
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
190
click to vote
DMKD
2003
ACM
15 years 12 months ago
2003
ACM
An inference problem exists in a multilevel database if knowledge of some objects in the database allows information with a higher security level to be inferred. Many such inferen...
150
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocki...
197
click to vote
AP2PC
2003
Springer
15 years 12 months ago
2003
Springer
Peer-to-Peer (P2P) technologies promise to provide efficient distribution, sharing and management of resources, such as storage, processing, routing and other sundry service capabi...
172
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...