5159 search results - page 597 / 1032 » Structural Testing of Executables |
185
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Context-aware information systems for mobile users have to cope with a variety of requirements in order to be able to provide an added value that goes beyond simply location-based...
174
click to vote
PADS
2004
ACM
16 years 1 months ago
2004
ACM
An important question for network simulation is what level of detail is required to obtain a desired level of accuracy. While in some networks, the level of detail is an open rese...
186
click to vote
SAC
2004
ACM
16 years 1 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
183
click to vote
HIPC
2004
Springer
16 years 29 days ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...
205
Voted
LOPSTR
2004
Springer
16 years 28 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...