Advertisement

Eternal Systems

First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

  • Alessandro Moschitti
  • Riccardo Scandariato

Part of the Communications in Computer and Information Science book series (CCIS, volume 255)

Table of contents

  1. Front Matter
  2. Software and Secure Systems

    1. Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
      Pages 1-15
    2. Ina Schaefer, Thomas Sauer
      Pages 16-24
    3. Koen Yskout, Olivier-Nathanael Ben David, Riccardo Scandariato, Benoit Baudry
      Pages 25-33
  3. Machine Learning for Software Systems

    1. Aliaksei Severyn, Alessandro Moschitti
      Pages 34-41
    2. Anna Corazza, Sergio Di Martino, Valerio Maggio, Giuseppe Scanniello
      Pages 42-60
    3. Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar
      Pages 61-78
  4. Ontology and Knowledge Representations

    1. Amel Bennaceur, Richard Johansson, Alessandro Moschitti, Romina Spalazzese, Daniel Sykes, Rachid Saadi et al.
      Pages 79-87
    2. Krishna Chandramouli, Tomas Piatrik, Ebroul Izquierdo
      Pages 88-99
    3. David Dupplaw, Michael Matthews, Richard Johansson, Paul Lewis
      Pages 100-115
    4. Virginia Fernandez Arguedas, Krishna Chandramouli, Ebroul Izquierdo
      Pages 116-124
  5. Back Matter

About these proceedings

Introduction

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.

Keywords

cloud computing formal verification information retrieval natural language processing software evolution

Editors and affiliations

  • Alessandro Moschitti
    • 1
  • Riccardo Scandariato
    • 2
  1. 1.Department of Information Engineering and Computer ScienceUniversity of TrentoPovoItaly
  2. 2.Department of Computer ScienceKatholieke Universiteit LeuvenHeverleeBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-28033-7
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28032-0
  • Online ISBN 978-3-642-28033-7
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering