Lecture Notes in Computer Science 7927
|
|
- Kelly Rice
- 6 years ago
- Views:
Transcription
1
2 Lecture Notes in Computer Science 7927 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany
3 José-Manuel Colom Jörg Desel (Eds.) Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013 Milan, Italy, June 24-28, 2013 Proceedings 13
4 Volume Editors José-Manuel Colom Universidad de Zaragoza Departamento de Informática e Ingeniería de Sistemas María de Luna, 1, Zaragoza, Spain jm@unizar.es Jörg Desel Fernuniversität Hagen, IZ Universitätsstraße 1, Hagen, Germany joerg.desel@fernuni-hagen.de ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): D.2.2, D.2.4, F.1, F.3, G.3, J.1, E.1 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in ist current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (
5 Preface This volume constitutes the proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013). The Petri Net conferences serve as annual meeting places to discuss the progress in the field of Petri nets and related models of concurrency. They provide a forum for researchers to present and discuss both applications and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised three workshops, a Petri net course including basic and advanced tutorials and an additional tutorial on the work of Carl Adam Petri and Anatol W. Holt. The PETRI NETS 2013 conference was organized by the Università degli Studi di Milano - Bicocca. It took place in Milan, Italy, during June 24 28, We would like to express our deepest thanks to the Organizing Committee chaired by Lucia Pomello for the time and effort invested in the local organization of the conference. This year the number of submitted papers amounted to 56, which included 52 full papers and 4 tool papers. The authors of the papers represented 26 different countries. We thank all the authors who submitted papers. Each paper was reviewed by at least four referees. The Program Committee (PC) meeting took place electronically, using the EasyChair conference system for the paper selection process. The PC selected 20 papers (18 regular papers and 2 tool papers) for presentation. After the conference, some authors were invited to publish an extended version of their contribution in the Fundamenta Informaticae journal. We thank the PC members and other reviewers for their careful and timely evaluation of the submissions before the meeting, and the fruitful discussions during the electronic meeting. The Springer LNCS Team and the EasyChair system provided high-quality support in the preparation of this volume. We are also grateful to the invited speakers for their contribution: Kees van Hee, Kurt Jensen, Moshe Vardi, Stéphane Lafortune, and Catuscia Palamidessi. Manuscripts of the keynotes from Kees van Hee and from Stéphane Lafortune are included in this volume. Finally, we would like to pay tribute to Philippe Darondeau, member of the Program Committee of this conference and distinguished colleague. We were deeply shocked and saddened to learn of Philippe s death on March 18th, just a few days after the completion of the review process. He was an extremely friendly and highly-respected colleague, who remained modest and was always ready to help. Most members of our community knew and liked him and many of us collaborated with him. His absence will be felt for many years to come. June 2013 José-Manuel Colom Jörg Desel
6 Organization Steering Committee W. van der Aalst, The Netherlands J. Billington, Australia G. Ciardo, USA J. Desel, Germany S. Donatelli, Italy S. Haddad, France K. Hiraishi, Japan K. Jensen, Denmark J. Kleijn, The Netherlands F. Kordon, France M. Koutny, UK (chair) C. Lin, China W. Penczek, Poland L. Pomello, Italy W. Reisig, Germany G. Rozenberg, The Netherlands M. Silva, Spain A. Valmari, Finland A. Yakovlev, UK Program Committee Hassane Alla Université degrenoble,france Marco Beccuti Università degli Studi di Torino, Italy Jonathan Billington University of South Australia, Australia Josep Carmona Universitat Politècnica Catalunya, Spain Gianfranco Ciardo University of California at Riverside, USA José-Manuel Colom 1 (Co-chair) Universidad de Zaragoza, Spain Philippe Darondeau INRIA Rennes-Bretagne Atlantique, France Jörg Desel (Co-chair) Fernuniversität in Hagen, Germany Raymond Devillers Université Libre de Bruxelles, Belgium Zhenhua Duan Xidian University, China Javier Esparza Technische Universität München, Germany Maria Pia Fanti Politecnico di Bari, Italy Luís Gomes Universidade Nova de Lisboa, Portugal Serge Haddad École Normale Supérieure de Cachan, France Henri Hansen Tampere University of Technology, Finland Kunihiko Hiraishi Japan Advanced Institute of Science and Technology, Japan Victor Khomenko Newcastle University, UK Ekkart Kindler Technical University of Denmark, Denmark Hanna Klaudel Université d Evry-Val d Essonne, France 1 Sponsored by Spanish Ministry of Science and Innovation (MICINN) [TIN C04-01].
7 VIII Organization Jetty Kleijn Ranko Lazic Chuang Lin Niels Lohmann Irina Lomazova Andrew Miner Lucia Pomello Wolfgang Reisig Carla Seatzu Christian Stahl Satoshi Taoka Antti Valmari Michael Westergaard Universiteit Leiden, The Netherlands University of Warwick, UK Tsingnhua University, China Universität Rostock, Germany Higher School of Economics, Moscow, Russia Iowa State University, USA Università di Milano-Bicocca, Italy Humboldt-Universität zu Berlin, Germany Università di Cagliari, Italy Technische Universiteit Eindhoven, The Netherlands Hiroshima University, Japan Tampere University of Technology, Finland Technische Universiteit Eindhoven, The Netherlands Organizing Committee Lucia Pomello (Chair), Italy Workshops and Tutorials Chairs Serge Haddad, France Alex Yakovlev, UK Tools Exhibition Chair Luca Bernardinello, Italy Publicity Chairs Lucia Pomello, Italy Luca Bernardinello, Italy Additional Reviewers Alekseyev, Arseniy André, Étienne Badouel, Eric Barros, Joao Paulo Bashkin, Vladimir Basile, Francesco Basu, Samik Bérard, Béatrice Bernardinello, Luca Bollig, Benedikt Bonsangue, Marcello Caillaud, Benoit Carvalho, Rafael Chatain, Thomas Clarisó, Robert Costa, Anikó Fabre, Eric Fahland, Dirk Ferigato, Carlo Fernandes, João M. Finkel, Alain Fornari, Chiara Franceschinis, Giuliana Fronc, Lukasz
8 Organization IX Gabarró, Joaquim Geeraerts, Gilles Genest, Blaise Gierds, Christian Haddad, Axel Hoogeboom, Hendrik J. Huiquan, Zhu Iacobellis, Giorgio Jiménez, Emilio Jin, Xiaoqing Júlvez, Jorge Kikuchi, Shinji Kilinç, Görkem Kobayashi, Koichi Kohkichi, Tsuji Kuzmin, Egor Le Cornec, Yves-Stan Liu, Guan Jun Liu, Yan Mahulea, Cristian Mangini, Agostino M. Mangioni, Elisabetta Markowitch, Olivier Melliti, Tarek Miyamoto, Toshiyuki Moelle, Andre Mokhov, Andrey Müller, Richard Nakamura, Morikazu Ohta, Atsushi Paw lowski, Wies law Peschanski, Frédéric Pinna, G. Michele Poliakov, Ivan Pommereau, Franck Praveen, M. Prüfer, Robert Reynier, Pierre-Alain Ribeiro, Oscar Rosa-Velardo, Fernando Sangnier, Arnaud Schmitz, Sylvain Schwoon, Stefan Sené, Sylvain Siirtola, Antti Siri, Silvia Sokolov, Danil Song, Songzheng Sproston, Jeremy Steggles, Jason Sürmeli, Jan Takahashi, Koji Ter Beek, Maurice H. Tsuji, Kohkichi Verbeek, Fons Vázquez, Carlos Renato Wan, Min Wimmel, Harro Yamaguchi, Shingo Yamane, Satoshi Zhao, Yang Zheng, Manchun
9 Table of Contents Invited Papers The Right Timing: Reflections on the Modeling and Analysis of Time... 1 Kees van Hee and Natalia Sidorova Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets Stéphane Lafortune, Yin Wang, and Spyros Reveliotis Regular Papers Contextual Merged Processes César Rodríguez, Stefan Schwoon, and Victor Khomenko ω-petri Nets Gilles Geeraerts, Alexander Heußner, M. Praveen, and Jean-François Raskin Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets Ernst W. Mayr and Jeremias Weihmann A Semantics for Every GSPN Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, and Lijun Zhang Expressing and Computing Passage Time Measures of GSPN Models with HASL Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, and Giuliana Franceschinis On Multi-enabledness in Time Petri Nets Hanifa Boucheneb, Didier Lime, and Olivier H. Roux Complexity Results for Elementary Hornets Michael Köhler-Bußmeier and Frank Heitmann Complexity Analysis of Continuous Petri Nets Estíbaliz Fraca and Serge Haddad Step Persistence in the Design of GALS Systems Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, and Alex Yakovlev
10 XII Table of Contents A Taxonomy of Persistent and Nonviolent Steps Maciej Koutny, Lukasz Mikulski, and Marta Pietkiewicz-Koutny Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology David Gilbert, Monika Heiner, Fei Liu, and Nigel Saunders The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, and Walter Ukovich Net-Based Analysis of Event Processing Networks The Fast Flower Delivery Case Matthias Weidlich, Jan Mendling, and Avigdor Gal Hierarchical Conformance Checking of Process Models Based on Event Logs Jorge Munoz-Gama, Josep Carmona, and Wil M.P. van der Aalst Discovering Block-Structured Process Models from Event Logs - A Constructive Approach Sander J.J. Leemans, Dirk Fahland, and Wil M.P. van der Aalst Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows Robin Bergenthum Unifying the Semantics of Modular Extensions of Petri Nets Alexis Marechal and Didier Buchs Channel Properties of Asynchronously Composed Petri Nets Serge Haddad, Rolf Hennicker, and Mikael H. Møller Tool Papers MARCIE Model Checking and Reachability Analysis Done Efficiently Monika Heiner, Christian Rohr, and Martin Schwarick CPN Tools 4: Multi-formalism and Extensibility Michael Westergaard Author Index
Lecture Notes in Computer Science 7480
Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7007
Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4409
Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3511
Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 10877
Lecture Notes in Computer Science 10877 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4454
Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4728
Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3819
Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 3176
Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced
More informationLecture Notes in Computer Science 5004
Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4024
Lecture Notes in Computer Science 4024 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4214
Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEmotional Engineering Volume 5
Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library
More informationLecture Notes in Computer Science 4797
Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationLecture Notes in Computer Science 7342
Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6663
Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4401
Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Archaeology of Anxiety
The Archaeology of Anxiety Jeffrey Fleisher Neil Norman Editors The Archaeology of Anxiety The Materiality of Anxiousness, Worry, and Fear Editors Jeffrey Fleisher Department of Anthropology Rice University
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload
More informationEarly Modern Philosophers and the Renaissance Legacy
Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY
More informationCoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,
More informationLecture Notes in Computer Science 5474
Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 10644
Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5671
Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6037
Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8036
Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Computer Science 8341
Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9804
Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano
More informationResearch Reports ESPRIT
Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its
More informationLecture Notes in Computer Science 5062
Lecture Notes in Computer Science 5062 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationNon-functional Properties in Modeling: Analysis, Languages and Processes
Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings
More informationLecture Notes in Computer Science 4883
Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7149
Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSTUDIES IN ORGANIZED CRIME
Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,
More informationStudies in Epistemology, Logic, Methodology, and Philosophy of Science
Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 373 Editor-in-Chief Otávio Bueno, University of Miami, Department of Philosophy, USA Editors Dirk van Dalen,
More informationLecture Notes in Computer Science 3507
Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDetection of Intrusions and Malware, and Vulnerability Assessment
Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,
More informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationLecture Notes in Computer Science 3925
Lecture Notes in Computer Science 3925 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationAtlas of Craniocervical Junction and Cervical Spine Surgery
Atlas of Craniocervical Junction and Cervical Spine Surgery Stefano Boriani Livio Presutti Alessandro Gasbarrini Francesco Mattioli Editors Atlas of Craniocervical Junction and Cervical Spine Surgery Editors
More informationLecture Notes in Artificial Intelligence 4327
Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International
More informationLecture Notes in Computer Science 5438
Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8031
Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4449
Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationIntelligent Primary School Project in Italy
Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044
More informationLecture Notes in Computer Science 3527
Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationFractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationNonprofit and Civil Society Studies
Nonprofit and Civil Society Studies An International Multidisciplinary Series Series Editors Paul Dekker Institute for Social Research, The Hague, The Netherlands Annette Zimmer University of Münster,
More informationLecture Notes in Computer Science 5083
Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7137
Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationWelcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.
Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer
More informationArild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally
Gösta Mittag-Leffler Arild Stubhaug Gösta Mittag-Leffler AManofConviction Translated by Tiina Nunnally Arild Stubhaug Department of Mathematics University of Oslo Blindern Oslo Norway arilds@math.uio.no
More informationLecture Notes in Computer Science 7140
Lecture Notes in Computer Science 7140 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information*Senior Editor Masayusa Ohtsu Kumamoto University, Graduate School of Science and Technology, Kumamoto, Japan
An international forum for the dissemination of research and development in the field of construction and building materials and their application in new works and repair practice. *Senior Editor Masayusa
More informationLecture Notes in Computer Science 3061
Lecture Notes in Computer Science 3061 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board Takeo Kanade Carnegie Mellon
More informationProcess Maturity Profile
Carnegie Mellon Process Maturity Profile CMMI SCAMPI SM Class A Appraisal Results 2007 Mid-Year Update September 2007 We could not produce this report without the support of the organizations and lead
More informationLecture Notes in Computer Science 6647
Lecture Notes in Computer Science 6647 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9211
Lecture Notes in Computer Science 9211 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationInternational Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France
International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers
More informationLecture Notes in Computer Science 4006
Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9249
Lecture Notes in Computer Science 9249 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 2075 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2075 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo José-Manuel Colom Maciej Koutny
More informationLecture Notes in Computer Science 5587
Lecture Notes in Computer Science 5587 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEncountering Development in the Age of Global Capitalism
Encountering Development in the Age of Global Capitalism Kin-Ling Tang Encountering Development in the Age of Global Capitalism A Case Study Kin-Ling Tang The Education University of Hong Kong Hong Kong,
More informationUlrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Education Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina,
More informationLecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)
More informationDue Diligence and the Business Transaction
Due Diligence and the Business Transaction Getting a Deal Done Jeffrey W. Berkman Due Diligence and the Business Transaction: Getting a Deal Done Copyright 2013 by Jeffrey W. Berkman This work is subject
More informationLecture Notes in Computer Science 9596
Lecture Notes in Computer Science 9596 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6527
Lecture Notes in Computer Science 6527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationGerman Yearbook on Business History 1986
German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,
More informationLecture Notes in Computer Science 6084
Lecture Notes in Computer Science 6084 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationArchitecture: Non-Functional Properties. in Service Oriented. Requirements, Models and. Methods REFERENCE. Berlin, Germany.
Berlin, NonFunctional Properties in Service Oriented Architecture: Requirements, Models and Methods Nikola Milanovic Model Labs Germany INFORMATION SCIENCE REFERENCE REFERENCE Hershey New York La La Table
More informationLecture Notes in Computer Science 7309
Lecture Notes in Computer Science 7309 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationProcess Maturity Profile
Carnegie Mellon University Process Maturity Profile CMMI v1.1 SCAMPI SM v1.1 Class A Appraisal Results 2004 Year End Update March 2005 We could not produce this report without the support of the organizations
More informationLecture Notes in Computer Science 7744
Lecture Notes in Computer Science 7744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHomepage: volpe. Curriculum Vitae
Marco Volpe Dipartimento di Informatica Università di Verona Strada Le Grazie, 15 37134 Verona, Italy E-mail: marco.volpe@univr.it Homepage: http://profs.sci.univr.it/ volpe Curriculum Vitae Current Position
More informationLecture Notes in Computer Science 7896
Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6705
Lecture Notes in Computer Science 6705 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCrime Prevention in the 21st Century
Crime Prevention in the 21st Century Benoit Leclerc Ernesto U. Savona Editors Crime Prevention in the 21st Century Insightful Approaches for Crime Prevention Initiatives Editors Benoit Leclerc School
More informationLecture Notes in Computer Science 7734
Lecture Notes in Computer Science 7734 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7189
Lecture Notes in Computer Science 7189 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationKEEGAN & COPPIN COMPANY, INC.
Commercial Real Estate Services PROMINENT DOWNTOWN LOCATION 757± - 954± sf of office space available with 4th Street frontage 757± sf: Open floor plan with 3 cubicles 954± sf: Open floor plan, private
More informationLecture Notes in Computer Science 6035
Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSERGIU KLAINERMAN CURRICULUM VITAE
EDUCATION SERGIU KLAINERMAN CURRICULUM VITAE 1978 New York University, Ph.D. 1975-78 New York University 1974 Certificate for Thesis 1973-74 Graduate Studies 1973 Diploma de Licenta, University of Bucharest
More informationThe World Cup, between Europe and the Americas
International symposium The World Cup, between Europe and the Americas Actors, implications and temporality of a sporting global event (20 th - 21 st centuries) Aerial view of the Centenario Stadium, July
More informationLecture Notes in Computer Science 6092
Lecture Notes in Computer Science 6092 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7679
Lecture Notes in Computer Science 7679 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHuman Rights and Intellectual Property: From Concepts to Practice
14th EIPIN Congress Human Rights and Intellectual Property: From Concepts to Practice Strasbourg, 5-7 April 2013 Hosted and organised by CEIPI European Court of Human Rights Maison Interuniversitaire des
More informationLecture Notes in Computer Science 10852
Lecture Notes in Computer Science 10852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5581
Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationProgress in Mathematics
Progress in Mathematics Volume 319 Series Editors Antoine Chambert-Loir Jiang-Hua Lu Yuri Tschinkel More information about this series at http://www.springer.com/series/4848 Werner Ballmann Christian Blohmann
More informationLecture Notes in Computer Science 6815
Lecture Notes in Computer Science 6815 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Business Information Processing 62
Lecture Notes in Business Information Processing 62 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
More informationProcess Maturity Profile
Carnegie Mellon Process Maturity Profile CMMI v1.1 SCAMPI SM v1.1 Class A Appraisal Results 2006 Mid-Year Update September 2006 We could not produce this report without the support of the organizations
More informationLecture Notes in Computer Science 5284
Lecture Notes in Computer Science 5284 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationProceedings of the Eighth International Conference on Probabilistic Graphical Models
Proceedings of the Eighth International Conference on Probabilistic Graphical Models Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6 9 September 2016 Conference Organization
More informationTotal, Subtotal and Proximal Gastrectomy in Cancer
Total, Subtotal and Proximal Gastrectomy in Cancer A Color Atlas Walter Siquini Editor In collaboration with Raffaella Ridolfo Pierpaolo Stortoni Emilio Feliciotti 123 Total, Subtotal and Proximal Gastrectomy
More informationThe Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau
The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid Department of
More information