SC Harvester Papers Database Interface

Using Models to Develop Measurement Systems: A Method and Its Industrial Use

M. Staron, Wilhelm Meding. In: . 2009

Automated Analysis of Reo Circuits using Symbolic Execution

Bahman Pourvatan, M. Sirjani, Hossein Hojjat, F. Arbab. In: . 2009

Abstract: Reo is a coordination language that can be used to model different systems. We propose a technique for symbolic execution of Reo circuits using Constraint Automata and more specifically exploiting their data constraints. This technique enables us to obtain the relations among the data passing through different nodes in a circuit and also infer coordination patterns. As an alternative to constructi...

On the use of relevance feedback in IR-based concept location

Gregory Gay, S. Haiduc, Andrian Marcus, T. Menzies. In: 2009 IEEE International Conference on Software Maintenance. 2009

Towards a formalization of mediating connectors for on the fly interoperability

Romina Spalazzese, P. Inverardi, V. Issarny. In: 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture. 2009

The effect of granularity level on software defect prediction

G. Çalıklı, Ayse Tosun Misirli, A. Bener, Melih Çelik. In: 2009 24th International Symposium on Computer and Information Sciences. 2009

Miniaturization limits of piezoresistive MEMS accelerometers

Manuel Engesser, A. Franke, M. Maute, D. Meisel, J. Korvink. In: Microsystem Technologies. 2009

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development

B. Gallina, N. Guelfi, Pierre Kelsen. In: 2009 33rd Annual IEEE Software Engineering Workshop. 2009

Product derivation for solution-driven product line engineering

Christoph Elsner, D. Lohmann, W. Schröder-Preikschat. In: . 2009

Abstract: Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely done, configuration and integration of the results currently is often a manual, time-consuming, and error-prone task and needs considerable knowledge about implementation details. In this paper, we elaborate and approach...

Model patches in model-driven engineering

A. Cicchetti, D. D. Ruscio, A. Pierantonio. In: . 2009

Variability Modelling throughout the Product Line Lifecycle

Christa Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer. In: . 2009

How Work Context Affects Operating Room Processes: Using Data Mining and Computer Simulation to Analyze Facility and Process Design

A. Baumgart, C. Denz, H. Bender, A. Schleppers. In: Quality Management in Health Care. 2009

Frank and Lillian Gilbreth: scientific management in the operating room

A. Baumgart, Duncan Neuhauser. In: Quality and Safety in Health Care. 2009

Optimizing the fault tolerance capabilities of distributed real-time systems

Abhilash Thekkilakattil, R. Dobrin, S. Punnekkat, Hüseyin Aysan. In: 2009 IEEE Conference on Emerging Technologies & Factory Automation. 2009

Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach

D. Niebuhr, A. Rausch, C. Klein, Juergen Reichmann, Reiner N. Schmid. In: 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems. 2009

Variability in Foot-Worn Sensor Placement for Activity Recognition

Jakob Doppler, G. Holl, A. Ferscha, M. Franz, C. Klein et al. In: 2009 International Symposium on Wearable Computers. 2009