Sciweavers

1755 search results - page 231 / 351
» Symposium on document engineering
Sort
View
ICFEM
2003
Springer
15 years 9 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
EDBT
2009
ACM
90views Database» more  EDBT 2009»
15 years 9 months ago
Parallelization of XPath queries using multi-core processors: challenges and experiences
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
Rajesh Bordawekar, Lipyeow Lim, Oded Shmueli
HICSS
1998
IEEE
93views Biometrics» more  HICSS 1998»
15 years 8 months ago
The Impact of EMS Support on Inspections: Description of an Experiment
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. Industrial experien...
Rini van Solingen, Michiel van Genuchten, Rob J. K...
SIGIR
2010
ACM
15 years 8 months ago
How good is a span of terms?: exploiting proximity to improve web retrieval
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
Krysta Marie Svore, Pallika H. Kanani, Nazan Khan
CAISE
2006
Springer
15 years 8 months ago
An Interactive, Asymmetric and Extensional Method for Matching Conceptual Hierarchies
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
Jérôme David, Fabrice Guillet, R&eacu...