Sciweavers

94 search results - page 15 / 19
» Selective Specialization for Object-Oriented Languages
Sort
View
COORDINATION
2006
Springer
13 years 11 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
BNCOD
2003
139views Database» more  BNCOD 2003»
13 years 9 months ago
An Overview about the DynaQuest Framework
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
Marco Grawunder
NLDB
2004
Springer
14 years 1 months ago
Synonymous Paraphrasing Using WordNet and Internet
We propose a method of synonymous paraphrasing of a text based on WordNet synonymy data and Internet statistics of stable word combinations (collocations). Given a text, we look fo...
Igor A. Bolshakov, Alexander F. Gelbukh
IWOMP
2009
Springer
14 years 2 months ago
A Proposal to Extend the OpenMP Tasking Model for Heterogeneous Architectures
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
Eduard Ayguadé, Rosa M. Badia, Daniel Cabre...
MODELS
2009
Springer
14 years 2 months ago
Dead or Alive: finding zombie features in the Linux kernel
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
Reinhard Tartler, Julio Sincero, Wolfgang Schr&oum...