SC Harvester Papers Database Interface

Exploiting UML Semantic Variation Points to Generate Explicit Component Interconnections in Complex Systems

Federico Ciccozzi, A. Cicchetti, Mikael Sjödin. In: 2013 10th International Conference on Information Technology: New Generations. 2013

Security Concerns in Cloud Computing

Issa M. Khalil, Abdallah Khreishah, S. Bouktif, Azeem Ahmad. In: 2013 10th International Conference on Information Technology: New Generations. 2013

How the Polls Can Be Both Spot On and Dead Wrong: Using Choice Blindness to Shift Political Attitudes and Voter Intentions

Lars Hall, Thomas Strandberg, P. Pärnamets, A. Lind, Betty Tärning et al. In: PLoS ONE. 2013

Abstract: Political candidates often believe they must focus their campaign efforts on a small number of swing voters open for ideological change. Based on the wisdom of opinion polls, this might seem like a good idea. But do most voters really hold their political attitudes so firmly that they are unreceptive to persuasion? We tested this premise during the most recent general election in Sweden, in which ...

Results from Two Controlled Experiments on the Effect of Using Requirement Diagrams on the Requirements Comprehension

G. Scanniello, M. Staron, Håkan Burden, Rogardt Heldal. In: . 2013

Organizational Coherence in Health Care Organizations: Conceptual Guidance to Facilitate Quality Improvement and Organizational Change

A. McAlearney, D. Terris, J. Hardacre, P. Spurgeon, C. Brown et al. In: Quality Management in Health Care. 2013

Organizational coherence in health care organizations: conceptual guidance to facilitate quality improvement and organizational change.

A. McAlearney, D. Terris, J. Hardacre, P. Spurgeon, C. Brown et al. In: Quality management in health care. 2013

Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools

A. Papadopoulos, A. Leva. In: . 2013

Recomposing the Will

Lars Hall, Petter Johansson, David de Léon. In: . 2013

An Analyzable Model of Automated Service Negotiation

Aida Čaušević, C. Seceleanu, P. Pettersson. In: 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering. 2013

HiSPADA: Self-Organising Hierarchies for Large-Scale Multi-Agent Systems

J. Steghöfer, Pascal Behrmann, Gerrit Anders, F. Siefert, W. Reif. In: . 2013

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

Eduard Paul Enoiu, Daniel Sundmark, P. Pettersson. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops. 2013

An infrastructure for the life cycle management of multi product lines

G. Holl, Christoph Elsner, P. Grünbacher, Michael Vierhauser. In: . 2013

Abstract: Large-scale industrial systems comprise multiple heterogeneous systems that need to be adapted and configured individually to meet the customers' needs. Product line techniques such as variability modeling and product derivation are frequently used to enable such customization. However, managing the life cycle of multiple product lines in system-of-systems architectures is challenging. For instanc...

Managing the evolution of data-intensive Web applications by model-driven techniques

A. Cicchetti, D. D. Ruscio, Ludovico Iovino, A. Pierantonio. In: Software & Systems Modeling. 2013

Practical experiences of applying source-level WCET flow analysis to industrial code

B. Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa. In: International Journal on Software Tools for Technology Transfer. 2013

Estimation of productivity increase for timing analysis tool chains

Nicholas A. Merriam, B. Lisper. In: International Journal on Software Tools for Technology Transfer. 2013