10271 search results - page 522 / 2055 » Computer Science |
149
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...
200
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: This paper presents a data-centric and location-aware procedure to perform in-network evaluation of queries in sensor networks. The algorithm is a hybrid of geographic hash table...
163
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
190
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
142
click to vote
STACS
2004
Springer
15 years 12 months ago
2004
Springer
We consider metrical task systems, a general framework to model online problems. Borodin, Linial and Saks [BLS92] presented a deterministic work function algorithm (WFA) for metric...