Sciweavers

4434 search results - page 643 / 887
» On the Composition of Hybrid Systems
Sort
View
IBPRIA
2003
Springer
15 years 12 months ago
Feature-Driven Recognition of Music Styles
In this paper the capability of using self-organising neural maps (SOM) as music style classifiers of musical fragments is studied. From MIDI files, the monophonic melody track i...
Pedro J. Ponce de León, José Manuel ...
193
Voted
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 11 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
GI
2009
Springer
15 years 11 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
EDOC
2000
IEEE
15 years 11 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
ECWEB
2000
Springer
142views ECommerce» more  ECWEB 2000»
15 years 11 months ago
Construction of Adaptive Web-Applications from Reusable Components
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
Guntram Gräf, Martin Gaedke