Sciweavers

4983 search results - page 798 / 997
» order 2008
Sort
View
EMSOFT
2008
Springer
15 years 5 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
EPEW
2008
Springer
15 years 5 months ago
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...
ER
2008
Springer
110views Database» more  ER 2008»
15 years 5 months ago
Conjunctive Query Containment under Access Limitations
Access limitations may occur when querying data sources over the web or heterogeneous data sources presented as relational tables: this happens, for instance, in Data Exchange and ...
Andrea Calì, Davide Martinenghi
ERCIMDL
2008
Springer
181views Education» more  ERCIMDL 2008»
15 years 5 months ago
Author Name Disambiguation for Citations Using Topic and Web Correlation
Abstract. Today, bibliographic digital libraries play an important role in helping members of academic community search for novel research. In particular, author disambiguation for...
Kai-Hsiang Yang, Hsin-Tsung Peng, Jian-Yi Jiang, H...
ERCIMDL
2008
Springer
139views Education» more  ERCIMDL 2008»
15 years 5 months ago
A Framework for Managing Multimodal Digitized Music Collections
Abstract. In this paper, we present a framework for managing heterogeneous, multimodal digitized music collections containing visual music representations (scanned sheet music) as ...
Frank Kurth, David Damm, Christian Fremerey, Meina...