On the Move to Meaningful Internet Systems: OTM 2009

1. Front Matter

   PDF

2. IS 2009 Keynote

   1. Cloud Computing: Virtual Clusters, Data Security, and Disaster Recovery

      • Kai Hwang

      Pages 795-795

3. ODBASE 2009 Keynote

   1. Surviving the Glut: The Management of Event Streams in Cyberphysical Systems

      • Alejandro Buchmann

      Pages 796-796

4. International Symposium on Information Security (IS) International Conference 2009

   1. IS 2009 – PC Co-chairs’ Message

      • Stefanos Gritzalis, Xueqi Cheng

      Pages 797-797

5. Information Systems Security

   1. Moving from Requirements to Design Confronting Security Issues: A Case Study

      • Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides

      Pages 798-814

   2. A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities

      • Aiman Hanna, Hai Zhou Ling, XiaoChun Yang, Mourad Debbabi

      Pages 815-832

   3. N±ε: Reflecting Local Risk Assessment in LoA

      • Hiroyuki Sato

      Pages 833-847

6. Privacy and Authentication

   1. A Secure Mobile-Based Authentication System for e-Banking

      • Helena Rifà-Pous

      Pages 848-860

   2. Client-Server Password Recovery

      • Łukasz Chmielewski, Jaap-Henk Hoepman, Peter van Rossum

      Pages 861-878

   3. Enhancing of a Password-Based Authentication Scheme Using Smart Cards

      • Youngsook Lee, Dongho Won

      Pages 879-886

7. Security Policies and Verification

   1. Model-Driven Configuration of SELinux Policies

      • Berthold Agreiter, Ruth Breu

      Pages 887-904

   2. Towards a Usage Control Policy Specification with Petri Nets

      • Basel Katt, Xinwen Zhang, Michael Hafner

      Pages 905-912

   3. Verification of CERT Secure Coding Rules: Case Studies

      • Syrine Tlili, XiaoChun Yang, Rachid Hadjidj, Mourad Debbabi

      Pages 913-930

8. Ontologies, DataBases, and Applications of Semantics (ODBASE) International Conference 2009

   1. ODBASE 2009 – PC Co-chairs’ Message

      • Sharma Chakravarthy, Avigdor Gal, Annika Hinze

      Pages 931-931

9. Managing Ontologies

   1. Ontology and Schema Evolution in Data Integration: Review and Assessment

      • Haridimos Kondylakis, Giorgos Flouris, Dimitris Plexousakis

      Pages 932-947

   2. Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets

      • Paea LePendu, Dejing Dou, Doug Howe

      Pages 948-965

   3. How to Write and Use the Ontology Requirements Specification Document

      • Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Boris Villazón-Terrazas

      Pages 966-982

   4. Achieving Maturity: The State of Practice in Ontology Engineering in 2009

      • Elena Simperl, Malgorzata Mochol, Tobias Bürger, Igor O. Popov

      Pages 983-991

10. Using Ontologies

    1. Ontology-Driven Provenance Management in eScience: An Application in Parasite Research

       • Satya S. Sahoo, D. Brent Weatherly, Raghava Mutharaju, Pramod Anantharam, Amit Sheth, Rick L. Tarleton

       Pages 992-1009

    2. Ontology-Based Retrieval of Spatially Related Objects for Location Based Services

       • Hele-Mai Haav, Aivi Kaljuvee, Martin Luts, Toivo Vajakas

       Pages 1010-1024

Internet-based information systems, the second covering the large-scale in- gration of heterogeneous computing systems and data resources with the aim of providing a global computing space. Eachofthesefourconferencesencouragesresearcherstotreattheirrespective topics within a framework that incorporates jointly (a) theory, (b) conceptual design and development, and (c) applications, in particular case studies and industrial solutions. Following and expanding the model created in 2003, we again solicited and selected quality workshop proposals to complement the more "archival" nature of the main conferences with research results in a number of selected and more "avant-garde" areas related to the general topic of Web-based distributed c- puting. For instance, the so-called Semantic Web has given rise to several novel research areas combining linguistics, information systems technology, and ar- ?cial intelligence, such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. We were glad to see that ten of our earlier s- cessful workshops (ADI, CAMS, EI2N, SWWS, ORM, OnToContent, MONET, SEMELS, COMBEK, IWSSA) re-appeared in 2008 with a second, third or even ?fth edition, sometimes by alliance with other newly emerging workshops, and that no fewer than three brand-new independent workshops could be selected from proposals and hosted: ISDE, ODIS and Beyond SAWSDL. Workshop - diences productively mingled with each other and with those of the main c- ferences, and there was considerable overlap in authors.

• Internet
• Peer
• Quality of Service
• Quality of Service (QoS)
• XML
• algorithms
• complexity
• database
• distributed computing
• grid computing
• modeling
• verification

• STARLab, Vrije Universiteit Brussel (VUB), Brussels, Belgium

  Robert Meersman

• DEBII - CBS, De Laeter Way, Curtin University of Technology, Bentley, Australia

  Tharam Dillon

• Facultad de Informática, Universidad Politécnica de Madrid, , , , ,, Madrid, Spain

  Pilar Herrero

Policies and ethics