SC Harvester Papers Database Interface

Iterative, Interactive Analysis of Agent-goal Models for Early Requirements Engineering

J. Horkoff. In: . 2012

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts

Alexander Borgida, J. Horkoff, J. Mylopoulos, R. Rosati. In: Description Logics. 2012

Modeling Human Aspects to Enhance Software Quality Management

G. Çalıklı, A. Bener, Bora Caglayan, Ayse Tosun Misirli. In: . 2012

PST 2012 : tenth Annual International Conference on Privacy, Security and Trust Privacy, Security and Trust, Paris, July 16-18

Nora Cuppens-Bouhlahia, Philip W. L. Fong, J. G. Alfaro, S. Marsh, J. Steghöfer. In: . 2012

Function Inlining in Modelica Models

A. Papadopoulos, M. Maggio, F. Casella, J. Åkesson. In: IFAC Proceedings Volumes. 2012

Control and Design of Computing Systems: What to Model and How

A. Papadopoulos, M. Maggio, A. Leva. In: IFAC Proceedings Volumes. 2012

Antiwindup-aware PI autotuning

A. Papadopoulos, A. Leva. In: IFAC Proceedings Volumes. 2012

SMART Computing Systems : Sensing , Modelling , Actuating , Regulating , and Tuning

M. Maggio, A. Papadopoulos, A. Leva. 2012

A PI-based control structure as an operating system scheduler

M. Maggio, F. Terraneo, A. Papadopoulos, A. Leva. In: IFAC Proceedings Volumes. 2012

Reusing transaction models for dependable cloud computing

B. Gallina, N. Guelfi. In: . 2012

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata

Aida Čaušević, C. Seceleanu, P. Pettersson. In: . 2012

Verification of ISO 26262 Software requirements in safety critical EE-systems

Rakesh Rana, M. Staron, J. Hansson, C. Berger, Martin Nilsson et al. In: . 2012

Evaluation of a geometrical autofocus algorithm within the framework of Fast Factorized Back-Projection

H. Hellsten, Jan Torgrimsson, P. Dammert, L. Ulander, A. Ahlander. In: . 2012

Towards probabilistic mode automata for adaptable resource-aware component-based systems design

H. Schmidt, I. Peake, Hüseyin Aysan, S. Punnekkat, R. Dobrin. In: . 2012

An investigation of the dual priority scheduling paradigm

G. Campeanu, Abhilash Thekkilakattil, S. Punnekkat. 2012