Sciweavers

392 search results - page 38 / 79
» Composite events for xml
Sort
View
PADS
2004
ACM
14 years 2 months ago
Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
Jan Lemeire, Bart Smets, Philippe Cara, Erik F. Di...
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
14 years 3 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...
SIGMOD
2003
ACM
115views Database» more  SIGMOD 2003»
14 years 9 months ago
Querying Structured Text in an XML Database
XML databases often contain documents comprising structured text. Therefore, it is important to integrate "information retrieval style" query evaluation, which is well-s...
Shurug Al-Khalifa, Cong Yu, H. V. Jagadish
PODS
2005
ACM
99views Database» more  PODS 2005»
14 years 9 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
IEEESCC
2009
IEEE
14 years 3 months ago
Cost-Effective Semantic Annotation of XML Schemas and Web Service Interfaces
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...
Peep Küngas, Marlon Dumas