Sciweavers

4476 search results - page 792 / 896
» A flexible framework for engineering
Sort
View
ERCIMDL
2007
Springer
127views Education» more  ERCIMDL 2007»
16 years 15 days ago
Lyrics-Based Audio Retrieval and Multimodal Navigation in Music Collections
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
Meinard Müller, Frank Kurth, David Damm, Chri...
FSTTCS
2007
Springer
16 years 15 days ago
Covering Graphs with Few Complete Bipartite Subgraphs
We consider computational problems on covering graphs with bicliques (complete bipartite subgraphs). Given a graph and an integer k, the biclique cover problem asks whether the edg...
Herbert Fleischner, Egbert Mujuni, Daniël Pau...
FSTTCS
2007
Springer
16 years 15 days ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...
OTM
2007
Springer
16 years 14 days ago
Data-Driven Modeling and Coordination of Large Process Structures
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
Dominic Müller, Manfred Reichert, Joachim Her...
SEKE
2007
Springer
16 years 13 days ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...