Sciweavers

4350 search results - page 604 / 870
» Case studies for contract-based systems
Sort
View
IWPC
2006
IEEE
16 years 24 days ago
Classifying Change Types for Qualifying Change Couplings
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
Beat Fluri, Harald Gall
ISMIR
2005
Springer
155views Music» more  ISMIR 2005»
16 years 8 days ago
MATCH: A Music Alignment Tool Chest
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
Simon Dixon, Gerhard Widmer
MSWIM
2004
ACM
16 years 6 days ago
Modeling wireless shadow networks
In case of natural disasters or intentional attacks, telecommunication networks often get heavily damaged and current resilience schemes have proven to be insufficient for rapid r...
Filip De Turck, Aurel A. Lazar
DSRT
2003
IEEE
16 years 2 days ago
Real Time Inspection of Hidden Worlds
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
Alois Ferscha, Markus Keller
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck