3527 search results - page 319 / 706 » Test Automation in Practice |
141
click to vote
GIS
1999
ACM
15 years 9 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
170
click to vote
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
150
click to vote
LPAR
1999
Springer
15 years 9 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
175
Voted
LPNMR
1997
Springer
15 years 9 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
154
click to vote
KR
1992
Springer
15 years 9 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...