2763 search results - page 298 / 553 » The Dangerous 'All' in Specifications |
158
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
177
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
172
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
189
click to vote
BIRTE
2006
15 years 10 months ago
2006
Real-time enterprises rely on user queries being answered in a timely fashion and using fresh data. This is relatively easy when systems are lightly loaded and both queries and upd...
147
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an exploration algorithm which examines execution time and energy consumption of a given application, while considering a parameterized memory architecture. Th...