1995 search results - page 165 / 399 » What's the Problem |
103
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
169
click to vote
ICMB
2005
IEEE
15 years 10 months ago
2005
IEEE
As the world’s aged population grows many governments are looking to remote healthcare monitoring solutions. It is certainly cheaper to keep the elderly and infirm in their own ...
144
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel approach to multiagent planning for self-interested agents. The main idea behind our approach is that multiagent planning systems should be built upon (single-a...
135
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
143
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...