Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
Antoine Ogonowski, Marie Luce Herviou, Eva Dauphin
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...