7027 search results - page 1202 / 1406 » Software process: a roadmap |
150
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
We present a strategy for answering fact-based natural language questions that is guided by a characterization of realworld user queries. Our approach, implemented in a system cal...
169
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
191
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
148
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
173
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...