2651 search results - page 374 / 531 » Experiences with the Use of a Configuration Language |
155
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we present techniques to nd subsets of nodes of a owgraph that satisfy the followingproperty: A test set that exercises all nodes in a subset exercises allnodes in t...
178
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
163
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes our approach to the 2006 Adhoc Monolingual Information Retrieval run for French. The goal of our experiment was to compare the performance of a proposed stati...
205
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
191
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...