Sciweavers

1357 search results - page 102 / 272
» Compositionality in Graph Transformation
Sort
View
135
Voted
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
15 years 9 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
118
Voted
ESWS
2009
Springer
15 years 10 months ago
Representing, Querying and Transforming Social Networks with RDF/SPARQL
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
Mauro San Martín, Claudio Gutierrez
ICDE
2010
IEEE
199views Database» more  ICDE 2010»
15 years 6 months ago
XMorph: A Shape-Polymorphic, Domain-Specific XML Data Transformation Language
By imposing a single hierarchy on data, XML makes queries brittle in the sense that a query might fail to produce the desired result if it is executed on the same data organized in...
Curtis Dyreson, Sourav S Bhowmick, Aswani Rao Jann...
ECOOP
2001
Springer
15 years 8 months ago
Feature Interaction and Composition Problems in Software Product Lines
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
Silva Robak, Bogdan Franczyk
ICPR
2008
IEEE
16 years 4 months ago
Graph-based classification for multiple observations of transformed patterns
We consider the problem of classification when multiple observations of a pattern are available, possibly under different transformations. We view this problem as a special case o...
Effrosini Kokiopoulou, Pascal Frossard, Stefanos P...