5084 search results - page 786 / 1017 » Proving Possibility 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...
191
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...
152
click to vote
SI3D
2003
ACM
15 years 12 months ago
2003
ACM
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...
139
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
This paper offers a solution to the mode problem in computer sketch/notetaking programs. Conventionally, the user must specify the intended "draw" or "command"...
164
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
We analyse scenarios in which self-interested agents negotiate with each other in order to agree on deals to exchange resources. We consider two variants of the framework, one whe...