Sciweavers

2006 search results - page 314 / 402
» Testing with Respect to Concerns
Sort
View
CAISE
2008
Springer
13 years 11 months ago
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...
Dominic Müller, Manfred Reichert, Joachim Her...
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
13 years 11 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
CONCUR
2008
Springer
13 years 10 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
ENTER
2008
Springer
13 years 10 months ago
Evaluating Recommender Systems in Tourism - A Case Study from Austria
Recommender systems (RS) are employed to personalize user interaction with (e.g. tourism) web-sites, supporting both navigation through large service assortments and the configura...
Markus Zanker, Matthias Fuchs, Wolfram Höpken...
AMR
2008
Springer
285views Multimedia» more  AMR 2008»
13 years 10 months ago
Music Thumbnailing Incorporating Harmony- and Rhythm Structure
A variety of approaches exist to the automatic retrieval of the key part within a musical piece - its thumbnail. Most of these however do not use adequate modeling with respect to ...
Björn Schuller, Florian Dibiasi, Florian Eybe...