Eternal Systems

1. Front Matter

   PDF

2. Software and Secure Systems

   1. Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows

      • Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen

      Pages 1-15

   2. Towards Verification as a Service

      • Ina Schaefer, Thomas Sauer

      Pages 16-24

   3. Requirements-Driven Runtime Reconfiguration for Security

      • Koen Yskout, Olivier-Nathanael Ben David, Riccardo Scandariato, Benoit Baudry

      Pages 25-33

3. Machine Learning for Software Systems

   1. Large-Scale Learning with Structural Kernels for Class-Imbalanced Datasets

      • Aliaksei Severyn, Alessandro Moschitti

      Pages 34-41

   2. Combining Machine Learning and Information Retrieval Techniques for Software Clustering

      • Anna Corazza, Sergio Di Martino, Valerio Maggio, Giuseppe Scanniello

      Pages 42-60

   3. Reusing System States by Active Learning Algorithms

      • Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar

      Pages 61-78

4. Ontology and Knowledge Representations

   1. Inferring Affordances Using Learning Techniques

      • Amel Bennaceur, Richard Johansson, Alessandro Moschitti, Romina Spalazzese, Daniel Sykes, Rachid Saadi et al.

      Pages 79-87

   2. Predicting User Tags Using Semantic Expansion

      • Krishna Chandramouli, Tomas Piatrik, Ebroul Izquierdo

      Pages 88-99

   3. LivingKnowledge: A Platform and Testbed for Fact and Opinion Extraction from Multimodal Data

      • David Dupplaw, Michael Matthews, Richard Johansson, Paul Lewis

      Pages 100-115

   4. Behaviour-Based Object Classifier for Surveillance Videos

      • Virginia Fernandez Arguedas, Krishna Chandramouli, Ebroul Izquierdo

      Pages 116-124

5. Back Matter

   PDF

This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems, networked systems and secure systems, by focusing on their shared objectives such as adaptation, evolvability and flexibility for the development of long living and versatile systems. The 6 revised full papers and 4 short papers presented were carefully reviewed and selected from 15 submissions. They are organized in topical sections on software and secure systems, machine learning for software systems, and ontology and knowledge representations.

• cloud computing
• formal verification
• information retrieval
• natural language processing
• software evolution
• algorithm analysis and problem complexity

• Department of Information Engineering and Computer Science, University of Trento, Povo, Italy

  Alessandro Moschitti

• Department of Computer Science, Katholieke Universiteit Leuven, Heverlee, Belgium

  Riccardo Scandariato

Policies and ethics