Sciweavers

583 search results - page 48 / 117
» REquirements, Aspects and Software Quality: the REASQ model
Sort
View
ICASSP
2009
IEEE
15 years 4 months ago
Dynamic texture models of music
In this paper, we consider representing a musical signal as a dynamic texture, a model for both the timbral and rhythmical qualities of sound. We apply the new representation to t...
Luke Barrington, Antoni B. Chan, Gert R. G. Lanckr...
HICSS
2005
IEEE
178views Biometrics» more  HICSS 2005»
15 years 3 months ago
The Entity Container - An Object-Oriented and Model-Driven Persistency Cache
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
Gernot Schmoelzer, Stefan Mitterdorfer, Christian ...
KBSE
2008
IEEE
15 years 4 months ago
Architecting for evolvability by means of traceability and features
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
Robert Brcina, Matthias Riebisch
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 1 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
ADHOC
2011
14 years 1 months ago
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks
—Stringent cost and energy constraints impose the use of low-cost and low-power radio transceivers in large-scale wireless sensor networks (WSNs). This fact, together with the ha...
Nouha Baccour, Anis Koubaa, Maissa Ben Jamâa...