Sciweavers

SOFSEM
2010
Springer
14 years 8 months ago
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...
François Bry, Klara A. Weiand
SOFSEM
2010
Springer
14 years 8 months ago
Continuous Processing of Preference Queries in Data Streams
Preference queries have received considerable attention in the recent past, due to their use in selecting the most preferred objects, especially when the selection criteria are con...
Maria Kontaki, Apostolos N. Papadopoulos, Yannis M...
SOFSEM
2010
Springer
14 years 8 months ago
Source Code Rejuvenation Is Not Refactoring
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
Peter Pirkelbauer, Damian Dechev, Bjarne Stroustru...
SOFSEM
2010
Springer
14 years 8 months ago
A Rule Format for Unit Elements
Luca Aceto, Anna Ingólfsdóttir, Moha...
SOFSEM
2010
Springer
14 years 8 months ago
Picture Recognizability with Automata Based on Wang Tiles
We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang system...
Violetta Lonati, Matteo Pradella
SOFSEM
2010
Springer
14 years 8 months ago
Vertex Ranking with Capacity
Ruben van der Zwaan
SOFSEM
2010
Springer
14 years 8 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier