Sciweavers

2813 search results - page 403 / 563
» Formalizing Architectural Connection
Sort
View
JAPLL
2008
101views more  JAPLL 2008»
15 years 6 months ago
Circle graphs and monadic second-order logic
A circle graph is the intersection graph of a set of chords of a circle. If a circle graph is prime for the split (or join) decomposition defined by Cunnigham, it has a unique rep...
Bruno Courcelle
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 6 months ago
Logic Meets Algebra: the Case of Regular Languages
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
Pascal Tesson, Denis Thérien
JCO
2008
85views more  JCO 2008»
15 years 6 months ago
Locating and detecting arrays for interaction faults
The identification of interaction faults in component-based systems has focussed on indicating the presence of faults, rather than their location and magnitude. While this is a va...
Charles J. Colbourn, Daniel W. McClary
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 6 months ago
Pushdown Compression
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of informati...
Pilar Albert, Elvira Mayordomo, Philippe Moser, Sy...
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 6 months ago
Integrating and Exchanging XML Data Using Ontologies
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
Huiyong Xiao, Isabel F. Cruz