Lecture Notes in Computer Science 6227
|
|
- Marcia McBride
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 6227 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
2 Antonín Kučera (Eds.) Reachability Problems 4th International Workshop, RP 2010 Brno, Czech Republic, August 28-29, 2010 Proceedings 13
3 Volume Editors Antonín Kučera Masaryk University, Faculty of Informatics Botanická 68a, Brno, Czech Republic University of Liverpool, Department of Computer Science Ashton Building, Liverpool L69 3BX, England Library of Congress Control Number: CR Subject Classification (1998): F.3, D.2, D.3, F.4, F.4.1, F.1 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2010 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper 06/3180
4 Preface This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28 29, 2010 in the Faculty of Informatics, Masaryk University, Brno, Czech Republic and co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). RP 2010 was the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in The Reachability Problems workshops series aims at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification, etc. Reachability is a fundamental problem in the context of many models and abstractions which describe various computational processes. Analysis of the computational traces and predictability questions for such models can be formalized as a set of different reachability problems. In general, reachability can be formulated as follows: Given a computational system with a set of allowed transformations (functions), decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in terms of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations, unavoidability of some dynamics and a possibility to avoid undesirable dynamics using a limited control. The purpose of the conference is to promote exploration of new approaches for the predictability of computational processes by merging mathematical, algorithmic and computational techniques. Topics of interest include (but are not limited to): reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter/ timed/ cellular/ communicating automata; Petri nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable reachability problems; predictability in iterative maps and new computational paradigms. The first venue of Reachability Problems was Turku, Finland in 2007, as a satellite event of Developments in Language Theory DLT The second was held at Liverpool University in 2008 and the third at Ecole Polytechnique, France in 2009.
5 VI Preface The proceedings of the previous RP workshops appeared as follows: Mika Hirvensalo, Vesa Halava,, Jarkko Kari (Eds.): Proceedings of the Satellite Workshops of DLT TUCS General Publication No 45, June ISBN: Vesa Halava and (Eds.): Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008). Electronic Notes in Theoretical Computer Science. Volume 223, Pages (26 December 2008). Olivier Bournez and (Eds.): Reachability Problems, Third International Workshop, RP 2009, Palaiseau, France, September 23 25, 2009, Lecture Notes in Computer Science, 5797, Springer The four keynote speakers at the 2010 conference were: Markus Holzer, Descriptional Complexity of (Un)ambiguous Finite-State Machines and Pushdown Automata Kim Guldstrand Larsen, Symbolic and Compositional Reachability for Timed Automata Alexander Rabinovich, Temporal Logics over Linear Time Domains Are in PSPACE Philippe Schnoebelen, Lossy Counter Machines Decidability Cheat Sheet Each of the submitted papers received at least three reviews by members of the Program Committee, with the help of external reviewers. The full list of the 23 members of the Program Committee and the list of external reviewers can be found on the next two pages. The Program Committee is grateful for the highly appreciated and high-quality work produced by these external reviewers. Based on these reviews, the Program Committee decided finally to accept nine papers, in addition to the four invited talks. We also gratefully acknowledge the support from the Czech National Research Center Institute for Theoretical Computer Science (ITI). It is also a great pleasure to acknowledge the team of the EasyChair system, and the fine cooperation with the Lecture Notes in Computer Science team of Springer which made possible the production of this volume in time for the conference. Finally, we thank all the authors for the high quality of their contributions, and the participants for making this edition of RP 2010 a success. June 2010 Antonín Kučera
6 Conference Organization Program Chairs Antonín Kučera Program Committee Parosh Aziz Abdulla Eugene Asarin Christel Baier Bernard Boigelot Olivier Bournez Cristian S. Calude Stephane Demri Javier Esparza Laurent Fribourg Vesa Halava Oscar Ibarra Franjo Ivancic Juhani Karhumäki Joost-Pieter Katoen Antonin Kucera Michal Kunc Alexander Kurz Slawomir Lasota Alexei Lisitsa Luke Ong Wolfgang Thomas Hsu-Chun Yen Uppsala, Sweden Paris, France Bonn, Germany Liege, Belgium Palaiseau, France Auckland, New Zealand Cachan, France München, Germany Cachan, France Turku, Finland Santa Barbara, USA Princeton, USA Turku, Finland Aachen, Germany Brno, Czech Republic Brno, Czech Republic Leicester, UK Warsaw, Poland Liverpool, UK Oxford, UK Liverpool, UK Aachen, Germany Taipei, Taiwan, China Local Organization Antonín Kučera with the help offered by the Faculty of Informatics, Masaryk University for the organization of the Reachability Workshop.
7 VIII Conference Organization External Reviewers Laurent Doyen Ingo Felscher Florent Jacquemard Arnaud Sangnier Pawel Parys David Pichardie Roman Rabinovich
8 Table of Contents Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata (Invited Talk)... 1 Markus Holzer and Martin Kutrib Symbolic and Compositional Reachability for Timed Automata (Invited Talk) Kim Guldstrand Larsen Temporal Logics over Linear Time Domains Are in PSPACE (Invited Talk) Alexander Rabinovich Lossy Counter Machines Decidability Cheat Sheet (Invited Talk) Philippe Schnoebelen Behavioral Cartography of Timed Automata Étienne André and Laurent Fribourg On the Joint Spectral Radius for Bounded Matrix Languages Paul C. Bell, Vesa Halava, and Mika Hirvensalo Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P Jakub Chaloupka Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata Maurice Margenstern Rewriting Systems for Reachability in Vector Addition Systems with Pairs Paulin Jacobé de Naurois and Virgile Mogbil The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions Martin Mundhenk and Felix Weiß Depth Boundedness in Multiset Rewriting Systems with Name Binding Fernando Rosa-Velardo
9 X Table of Contents Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA Zdeněk Sawa Efficient Graph Reachability Query Answering Using Tree Decomposition Fang Wei Author Index
Lecture Notes in Computer Science 7323
Lecture Notes in Computer Science 7323 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 5454
Lecture Notes in Computer Science 5454 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 5742
Lecture Notes in Computer Science 5742 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 3933
Lecture Notes in Computer Science 3933 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 3130
Lecture Notes in Computer Science 3130 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 2001 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2001 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Gul A. Agha Fiorella De Cindio
More informationAdvances in Artificial Reality and Tele-Existence
Zhigeng Pan Adrian Cheok Michael Haller Rynson W.H. Lau Hideo Saito Ronghua Liang (Eds.) Advances in Artificial Reality and Tele-Existence 16th International Conference on Artificial Reality and Telexistence,
More informationLecture Notes in Computer Science 6585
Lecture Notes in Computer Science 6585 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 8945
Lecture Notes in Computer Science 8945 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 5884
Lecture Notes in Computer Science 5884 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 3293
Lecture Notes in Computer Science 3293 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 2929 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2929 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Harrie de Swart Ewa Orłowska Gunther Schmidt Marc
More informationLecture Notes in Computer Science 3427
Lecture Notes in Computer Science 3427 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
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 371 I D. Hammer (Ed.) Compiler Compilers and High Speed Compilation 2rid CCHSC Workshop Berlin, GDR, October 10-14, 1988 Proceedings
More informationAutomated and Algorithmic Debugging
Peter A. Fritzson (Ed.) Automated and Algorithmic Debugging First International Workshop, AADEBUG '93 LinkiSping, Sweden, May 3-5, 1993 Proceedings Springer-Verlag Berlin Heidelberg NewYork London Paris
More informationGeometric Modeling and Algebraic Geometry
Geometric Modeling and Algebraic Geometry Bert Jüttler Ragni Piene Editors Geometric Modeling and Algebraic Geometry 123 Bert Jüttler Institute of Applied Geometry Johannes Kepler University Altenberger
More informationReal-Time Graphics Rendering Engine
Hujun Bao Wei Hua Real-Time Graphics Rendering Engine With 66 figures, 11 of them in color ADVANCED TOPICS IN SCIENCE AND TECHNOLOGY IN CHINA ADVANCED TOPICS IN SCIENCE AND TECHNOLOGY IN CHINA Zhejiang
More informationAdvanced Data Mining Techniques
Advanced Data Mining Techniques David L. Olson Dursun Delen Advanced Data Mining Techniques Dr. David L. Olson Department of Management Science University of Nebraska Lincoln, NE 68588-0491 USA dolson3@unl.edu
More informationInterfacing with C++
Interfacing with C++ Jayantha Katupitiya Kim Bentley Interfacing with C++ Programming Real-World Applications ABC Dr. Jayantha Katupitiya Senior Lecturer School of Mechanical and Manufacturing Engineering
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1605 Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Jonathan Billington
More informationJulien Masanès. Web Archiving. With 28 Figures and 6 Tables ABC
Web Archiving Julien Masanès Web Archiving With 28 Figures and 6 Tables ABC Author Julien Masanès European Web Archive 25 rue des envierges 75020 Paris, France julien.masanes@bnf.fr ACM Computing Classification
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 469 I I. Guessarian (Ed.) Semantics of Systems of Concurrent Processes LITP Spring School on Theoretical Computer Science La Roche Posay,
More informationObject-Based Concurrent Computing
M. Tokoro O. Nierstrasz E Wegner (Eds.) Object-Based Concurrent Computing ECOOP '91 Workshop Geneva, Switzerland, July 15-16, 1991 Proceedings Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo
More informationLecture Notes in Mathematics Editors: J.--M. Morel, Cachan F. Takens, Groningen B. Teissier, Paris
Lecture Notes in Mathematics 1842 Editors: J.--M. Morel, Cachan F. Takens, Groningen B. Teissier, Paris 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Trygve Johnsen Andreas Leopold Knutsen
More informationThe Information Retrieval Series. Series Editor W. Bruce Croft
The Information Retrieval Series Series Editor W. Bruce Croft Sándor Dominich The Modern Algebra of Information Retrieval 123 Sándor Dominich Computer Science Department University of Pannonia Egyetem
More informationJinkun Liu Xinhua Wang. Advanced Sliding Mode Control for Mechanical Systems. Design, Analysis and MATLAB Simulation
Jinkun Liu Xinhua Wang Advanced Sliding Mode Control for Mechanical Systems Design, Analysis and MATLAB Simulation Jinkun Liu Xinhua Wang Advanced Sliding Mode Control for Mechanical Systems Design, Analysis
More informationOverview. Passive Load. Measurement. Classification. Setup. Future Work
Moving in Next Door: Network Flooding as a Side Channel in Cloud Environments Yatharth Agarwal, Vishnu Murale, Jason Hennessey, Kyle Hogan, and Mayank Varia Overview Passive Load Cloud providers often
More informationCOMP 763. Eugene Syriani. Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science. McGill University
Eugene Syriani Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science McGill University 1 OVERVIEW In the context In Theory: Timed Automata The language: Definitions and Semantics
More informationGengsheng Lawrence Zeng. Medical Image Reconstruction. A Conceptual Tutorial
Gengsheng Lawrence Zeng Medical Image Reconstruction A Conceptual Tutorial Gengsheng Lawrence Zeng Medical Image Reconstruction A Conceptual Tutorial With 163 Figures Author Prof. Dr. Gengsheng Lawrence
More informationContributions to Economics
Contributions to Economics Kesra Nermend Vector Calculus in Regional Development Analysis Comparative Regional Analysis Using the Example of Poland Physica Verlag A Springer Company Dr. inž. Kesra Nermend
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 246 I II I I Graph-Theoretic Concepts in Computer Science International Workshop WG '86 Bernried, Federal Republic of Germany, June
More informationLecture Notes in Computer Science 3279
Lecture Notes in Computer Science 3279 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationStefan Waldmann. Topology. An Introduction
Topology Stefan Waldmann Topology An Introduction 123 Stefan Waldmann Julius Maximilian University of Würzburg Würzburg Germany ISBN 978-3-319-09679-7 ISBN 978-3-319-09680-3 (ebook) DOI 10.1007/978-3-319-09680-3
More informationLecture Notes in Computer Science 3604
Lecture Notes in Computer Science 3604 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationComputer Architecture
Computer Architecture Springer-Verlag Berlin Heidelberg GmbH Silvia M. Mueller Wolfgang J. Paul Computer Architecture Complexity and Correctness With 214 Figures and 185 Tables Springer Silvia Melitta
More informationA Bibliography of Publications of Jingling Xue
A Bibliography of Publications of Jingling Xue Jingling Xue Department of Mathematics, Statistics and Computing Science Armidale, NSW 2351 Australia Tel: +61 67 73 3149 FAX: +61 67 73 3312 E-mail: xue@neumann.une.edu.au
More informationLecture Notes in Computer Science 4258
Lecture Notes in Computer Science 4258 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSoftware Development for SAP R/3
Software Development for SAP R/3 Springer-Verlag Berlin Heidelberg GmbH Ulrich Mende Software Development for SAP R/3 Data Dictionary, ABAP/4, Interfaces With Diskette With 124 Figures and Many Example
More informationHigh Availability and Disaster Recovery
High Availability and Disaster Recovery Klaus Schmidt High Availability and Disaster Recovery Concepts, Design, Implementation With 83 Figures and 26 Tables 123 Klaus Schmidt Stockheimer Str. 20 60385
More informationThe Fox Project: Advanced Development of Systems Software
The Fox Project: Advanced Development of Systems Software R&D Status Report July 1 to September 30, 1999 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 19991222 022 This research
More informationLecture Notes in Computer Science 7037
Lecture Notes in Computer Science 7037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEnabling Technologies for Wireless E-Business
Enabling Technologies for Wireless E-Business Weidong Kou Yelena Yesha (Eds.) Enabling Technologies for Wireless E-Business With 141 Figures and 15 Tables ABC Editors Weidong Kou Chinese State Key Laboratory
More informationA Recovery Approach for SQLite History Recorders from YAFFS2
A Recovery Approach for SQLite History Recorders from YAFFS2 Beibei Wu, Ming Xu, Haiping Zhang, Jian Xu, Yizhi Ren, Ning Zheng To cite this : Beibei Wu, Ming Xu, Haiping Zhang, Jian Xu, Yizhi Ren, et al..
More informationResearch on Industrial Security Theory
Research on Industrial Security Theory Menggang Li Research on Industrial Security Theory Menggang Li China Centre for Industrial Security Research Beijing, People s Republic of China ISBN 978-3-642-36951-3
More informationLecture Notes in Computer Science 1506 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1506 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reinhard Koch Luc Van Gool
More informationc-xsc R. Klatte U. Kulisch A. Wiethoff C. Lawo M. Rauch A C++ Class Library for Extended Scientific Computing Springer-Verlag Berlin Heidelberg GmbH
R. Klatte U. Kulisch A. Wiethoff C. Lawo M. Rauch c-xsc A C++ Class Library for Extended Scientific Computing Translated by G. F. Corliss C. Lawo R. Klatte A. Wiethoff C. Wolff Springer-Verlag Berlin Heidelberg
More informationBusiness Process Models
LNCS 7849 Christian Gerth Business Process Models Change Management 123 Lecture Notes in Computer Science 7849 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis,
More informationLecture Notes in Business Information Processing 67
Lecture Notes in Business Information Processing 67 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
More informationPhilipp von Weitershausen. Web Component Development with Zope 3
Philipp von Weitershausen Web Component Development with Zope 3 Philipp von Weitershausen Web Component Development with Zope 3 With 39 Figures and 10 Tables 123 Philipp von Weitershausen Goebenstraße
More informationOverview Scrollbar: A Scrollbar Showing an Entire Document as an Overview
Overview Scrollbar: A Scrollbar Showing an Entire Document as an Overview Ko Mizoguchi, Daisuke Sakamoto, Takeo Igarashi To cite this version: Ko Mizoguchi, Daisuke Sakamoto, Takeo Igarashi. Overview Scrollbar:
More informationSimilarity and Compatibility in Fuzzy Set Theory
Similarity and Compatibility in Fuzzy Set Theory Studies in Fuzziness and Soft Computing Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447
More informationComputer Science Workbench. Editor: Tosiyasu L. Kunii
Computer Science Workbench Editor: Tosiyasu L. Kunii H. Kitagawa T.L. Kunii The U nnortnalized Relational Data Model F or Office Form Processor Design With 78 Figures Springer-Verlag Tokyo Berlin Heidelberg
More informationThe Architectural Logic of Database Systems
The Architectural Logic of Database Systems E. J. Yannakoudakis The Architectural Logic of Database Systems With 69 Figures Springer-Verlag london Berlin Heidelberg New York Paris Tokyo E. 1. Yannakoudakis,
More informationSYMBOLIC COMPUTATION. Managing Editors: J. Encama~o P. Hayes Artificial Intelligence Editors: L. Bole A Bundy J. Siekmann
SYMBOLIC COMPUTATION Managing Editors: J. Encama~o P. Hayes Artificial Intelligence Editors: L. Bole A Bundy J. Siekmann The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
More informationParallel Programming
Parallel Programming Thomas Rauber Gudula Rünger Parallel Programming For Multicore and Cluster Systems 123 Thomas Rauber Universität Bayreuth Computer Science Department 95440 Bayreuth Germany rauber@uni-bayreuth.de
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 790 Advisory Board: W. Brauer D. Gries J. Stoer Jan van Leeuwen (Ed.) Graph-Theoretic Concepts in Computer Science 19th International
More informationAutomatic Verification of Closures and Lambda-Functions in Python Master s Thesis Project Description
Automatic Verification of Closures and Lambda-Functions in Python Master s Thesis Project Description Benjamin Weber March 2017 Introduction Higher-order functions take other functions as parameters. Thus,
More informationA Hybrid Threat Detection and Security Adaptation System for Industrial Wireless Sensor Networks
A Hybrid Threat Detection and Security Adaptation System for Industrial Wireless Sensor Networks Mohammed Bahria, Alexis Olivereau, Aymen Boudguiga To cite this version: Mohammed Bahria, Alexis Olivereau,
More informationThesis Defense: Developing Real-Time Collaborative Editing Using Formal Methods
Thesis Defense: Developing Real-Time Collaborative Editing Using Formal Methods Lars Tveito September 9th, 2016 Department of Informatics, University of Oslo Outline Introduction Formal Semantics of Editing
More informationDataflow Testing of Java Programs with DFC
Dataflow Testing of Java Programs with DFC Ilona Bluemke, Artur Rembiszewski To cite this version: Ilona Bluemke, Artur Rembiszewski. Dataflow Testing of Java Programs with DFC. David Hutchison; Takeo
More informationLecture Notes in Computer Science
L.. Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 60 M. J. Flynn, J. N. Gray, A. K. Jones, K. Lagally H. Opderbeck, G. J. Popek, B. Randell J. H. Saltzer, H. R. Wiehle Operating
More information[ PARADIGM SCIENTIFIC SEARCH ] A POWERFUL SOLUTION for Enterprise-Wide Scientific Information Access
A POWERFUL SOLUTION for Enterprise-Wide Scientific Information Access ENABLING EASY ACCESS TO Enterprise-Wide Scientific Information Waters Paradigm Scientific Search Software enables fast, easy, high
More informationVerification of Concurrent Programs, Part I: The Temporal Framework
June 1981 Report. No. ~ 1 AN-U-81-836 Verification of Concurrent Programs, Part I: The Temporal Framework by Zohar MilnIla Amir Ynucli Office of Navitl Rcscarch Department of Computer Science Stanford
More informationITIL General overview
ITIL General overview Roman Jašek, Lukáš Králík, and Jakub Nožička Citation: AIP Conference Proceedings 1648, 550021 (2015); doi: 10.1063/1.4912776 View online: http://dx.doi.org/10.1063/1.4912776 View
More informationHuman-Survey Interaction
Lars Kaczmirek Human-Survey Interaction Usability and Nonresponse in Online Surveys Herbert von Halem Verlag Bibliografische Information der Deutschen Bibliothek Die deutsche Bibliothek verzeichnet diese
More informationLecture Notes in Artificial Intelligence 4342
Lecture Notes in Artificial Intelligence 4342 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Harrie de Swart Ewa Orłowska Gunther Schmidt Marc Roubens (Eds.) Theory
More informationThe Implications of Optimality Results for Incremental Model Synchronization for TGGs Holger Giese, Stephan Hildebrandt
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Bi-directional transformations (BX) Theory and Applications Across Disciplines (13w5115) December 1-6, 2013 Holger
More information- July Mathematics Fondazione Proceedings of the International Conference,Taiwan Introduction to the theory of algebraic
Modular Functions Of One Variable VI: Proceedings International Conference, University Of Bonn, Sonderforschungsbereich Theoretische Mathematik, July... In Mathematics) (English And French Edition) READ
More informationA Design of Web Log Integration Framework Using NoSQL
A Design of Web Log Integration Framework Using NoSQL Huijin Jeong, Junho Choi, Chang Choi, Ilsun You, Pankoo Kim To cite this version: Huijin Jeong, Junho Choi, Chang Choi, Ilsun You, Pankoo Kim. A Design
More informationRough Set Approaches to Rule Induction from Incomplete Data
Proceedings of the IPMU'2004, the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, July 4 9, 2004, vol. 2, 923 930 Rough
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 641 Advisory Board: W. Brauer D. Gries J. Stoer U. Kastens E Pfahler (Eds.) Compiler Construction 4th International Conference, CC '92
More informationGuide to OSI and TCP/IP Models
SPRINGER BRIEFS IN COMPUTER SCIENCE Mohammed M. Alani Guide to OSI and TCP/IP Models SpringerBriefs in Computer Science Series editors Stan Zdonik Peng Ning Shashi Shekhar Jonathan Katz Xindong Wu Lakhmi
More informationModeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal Martin Kot Martin Kot Center for Applied Cybernetics, Department of Computer Science, FEI, Center for Applied VSBCybernetics,
More informationIntelligent Systems Reference Library
Intelligent Systems Reference Library Volume 145 Series editors Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl Lakhmi C. Jain, University of Canberra, Canberra,
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 136 Christoph M. Hoffmann IIIIII IIIIIIIll Group-Theoretic Algorithms and Graph Isomorphism IIII I Springer-Verlag Berlin Heidelberg
More informationPh.D. with Distinction in Computer Science Advisor: Prof. Micha Sharir Dissertation: Geometric Arrangements: Substructures and Algorithms
April 29, 2009 Esther Ezra phone (919) 660-6578 Levine Science Research Center D340 fax (919) 660-6502 Department of Computer Science, Duke University http://www.math.tau.ac.il/~estere Durham NC 27708
More informationAction Language Verifier, Extended
Action Language Verifier, Extended Tuba Yavuz-Kahveci 1, Constantinos Bartzis 2, and Tevfik Bultan 3 1 University of Florida 2 Carnegie Mellon University 3 UC, Santa Barbara 1 Introduction Action Language
More informationUsing MSC/NASTRAN: Statics and Dynamics
Using MSC/NASTRAN: Statics and Dynamics A.D. Cifuentes Using MSC/NASTRAN Statics and Dynamics With 94 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Arturo O. Cifuentes
More informationParametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
FTSCS 2013 30th October 2013 Queenstown, New Zealand Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems Youcheng Sun 1, Romain Soulat 2, Giuseppe Lipari 1,2, Étienne André
More informationLecture 6. Abstract Interpretation
Lecture 6. Abstract Interpretation Wei Le 2014.10 Outline Motivation History What it is: an intuitive understanding An example Steps of abstract interpretation Galois connection Narrowing and Widening
More informationTesting Distributed Systems
Testing Distributed Systems Part I: Introduction to Model-Based Testing 2012-08-01 Jan Peleska and Wen-ling Huang University of Bremen {jp,huang}@informatik.uni-bremen.de Acknowledgements. This seminar
More informationManaging test suites for services
Managing test suites for services Kathrin Kaschner Universität Rostock, Institut für Informatik, 18051 Rostock, Germany kathrin.kaschner@uni-rostock.de Abstract. When developing an existing service further,
More informationMathematics and Visualization
Mathematics and Visualization Series Editors Gerald Farin Hans-Christian Hege David Hoffman Christopher R. Johnson Konrad Polthier Martin Rumpf Øyvind Hjelle Morten Dæhlen Triangulations and Applications
More informationUtilizing Static Analysis for Programmable Logic Controllers
Sébastien Bornot Ralf Huuck Ben Lukoschus Lehrstuhl für Softwaretechnologie Universität Kiel Preußerstraße 1 9, D-24105 Kiel, Germany seb rhu bls @informatik.uni-kiel.de Yassine Lakhnech Verimag Centre
More informationDetecting Computer Worms in the Cloud
Detecting Computer Worms in the Cloud Sebastian Biedermann, Stefan Katzenbeisser To cite this version: Sebastian Biedermann, Stefan Katzenbeisser. Detecting Computer Worms in the Cloud. David Hutchison;
More informationImproving Availability through Energy-Saving Optimization in LEO Satellite Networks
Improving Availability through Energy-Saving Optimization in LEO Satellite Networks Zhu Tang, Chunqing Wu, Zhenqian Feng, Baokang Zhao, Wanrong Yu To cite this version: Zhu Tang, Chunqing Wu, Zhenqian
More informationLecture Notes Electrical Engineering Volume 53
Lecture Notes Electrical Engineering Volume 53 Alexander Barkalov and Larysa Titarenko Logic Synthesis for FSM-Based Control Units ABC Prof. Alexander Barkalov Institute of Informatics and Electronics
More informationWindows 10 Revealed. The Universal Windows Operating System for PC, Tablets, and Windows Phone. Kinnary Jangla
Windows 10 Revealed The Universal Windows Operating System for PC, Tablets, and Windows Phone Kinnary Jangla Windows 10 Revealed Kinnary Jangla Bing Maps San Francisco, California, USA ISBN-13 (pbk): 978-1-4842-0687-4
More informationA Chord-Based Novel Mobile Peer-to-Peer File Sharing Protocol
A Chord-Based Novel Mobile Peer-to-Peer File Sharing Protocol Min Li 1, Enhong Chen 1, and Phillip C-y Sheu 2 1 Department of Computer Science and Technology, University of Science and Technology of China,
More informationROUGH SETS THEORY AND UNCERTAINTY INTO INFORMATION SYSTEM
ROUGH SETS THEORY AND UNCERTAINTY INTO INFORMATION SYSTEM Pavel Jirava Institute of System Engineering and Informatics Faculty of Economics and Administration, University of Pardubice Abstract: This article
More informationCOCHIN UNIVERSITY OF SCIENCE AND TECHNOLOGY
COCHIN UNIVERSITY OF SCIENCE AND TECHNOLOGY Name: Department: Contact Details: Address for communication Email Phone Intercom Academic Background Qualifications: Qualifying Post Graduate Degree: Ph. D
More informationE R T M S COMMUNICATION PLAN
U I C E R T M S COMMUNICATION PLAN Paolo de Cicco Senior Advisor ERTMS Platform Paris, 14/03/2007-1 Item 16: UIC Workshop Euro-Interlocking Hazard List Methodology for Railway Signalling WORKSHOP HELD
More informationHandbook of Weighted Automata
Manfred Droste Werner Kuich Heiko Vogler Editors Handbook of Weighted Automata 4.1 Springer Contents Part I Foundations Chapter 1: Semirings and Formal Power Series Manfred Droste and Werner Kuich 3 1
More informationCAPTCHA Suitable for Smartphones
CAPTCHA Suitable for Smartphones Yusuke Tsuruta, Mayumi Takaya, Akihiro Yamamura To cite this version: Yusuke Tsuruta, Mayumi Takaya, Akihiro Yamamura. CAPTCHA Suitable for Smartphones. David Hutchison;
More informationCTU in Prague, CIIRC, and the National Centre for Industry 4.0
CTU in Prague, CIIRC, and the National Centre for Industry 4.0 Dr. Roman Holý (lead by Prof. Vladimír Mařík) CIIRC - Czech Institute of Informatics, Robotics, and Cybernetics The 3rd RRI International
More informationEliminating the Storage Tape in Reachability Constructions
Eliminating the Storage Tape in Reachability Constructions Oscar H. Ibarra Department of Computer Science University of California Santa Barbara, CA 93106, USA Zhe Dang School of Electrical Engineering
More informationCertificate. Certificate number: a. Certified by EY CertifyPoint since: May 11, 2012
Certificate Certificate number: 2012-001a Certified by EY CertifyPoint since: May 11, 2012 Based on certification examination in conformity with defined requirements in ISO/IEC 17021-1:2015 and ISO/IEC
More informationMultidimensional Queueing Models in Telecommunication Networks
Multidimensional Queueing Models in Telecommunication Networks ThiS is a FM Blank Page Agassi Melikov Leonid Ponomarenko Multidimensional Queueing Models in Telecommunication Networks Agassi Melikov Department
More informationGroup Authentication Using The Naccache-Stern Public-Key Cryptosystem
Group Authentication Using The Naccache-Stern Public-Key Cryptosystem Scott Guthery sguthery@mobile-mind.com Abstract A group authentication protocol authenticates pre-defined groups of individuals such
More informationA linear algebra processor using Monte Carlo methods
A linear algebra processor using Monte Carlo methods Conference or Workshop Item Accepted Version Plaks, T. P., Megson, G. M., Cadenas Medina, J. O. and Alexandrov, V. N. (2003) A linear algebra processor
More information