In the summer of 1981 Allen Gersho organized the first major open co,ifcrcncc c~ci devoted to cryptologic research This meeting, Crypto '81, was held at the Universitc nl California campus in Santa Barbara Since then the Crypto' conference has becom…
This is the first of a two-volume set that constitutes the refereed proceedings of the Symposium on Human Interface 2007, held in Beijing, China in July 2007. It covers design and evaluation methods and techniques, visualizing information, retrieval…
This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999. The 16 revised full papers presented were carefully reviewed and selected fro…
This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy. The book opens with an introdu…
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve p…
This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement eac…
ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferenc…
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10…
This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Ever…
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers are organized in topical sections on performance,…
This volume contains the proceedings of the Twelfth Annual International S- posiumonAlgorithmsandComputation(ISAAC2001),heldinChristchurch, NewZealand,19-21December2001. Inthepast,ithasbeenheldinTokyo(1990), Taipei(1991),Nagoya(1992),HongKong(1994),…
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume…
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Information Security and Cryptology, ICISC 2002, held in Seoul, Korea in November 2002. The 35 revised full papers presented together with an invi…
This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this serie…
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theor…
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications, through an integrated technolog…
Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of resea…
The book constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005.The 26 revised full papers presented were carefully…
The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Here the main objectives are to maintain system reliability and to keep the des…
Starting with the imminent roll-out of the IP Multimedia Subsystem (IMS) and fourth-Generation networking technology, Next Generation Networks (NGN) are gradually becoming reality, with charging and Quality-of-Service (QoS) issues as two of the key…
This tutorial contains written versions of seven lectures on Computational Combinatorial Optimization given by leading members of the optimization community. The lectures introduce modern combinatorial optimization techniques, with an emphasis on br…
This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented together with two invited papers were carefully reviewe…
Medical imaging and medical image analysisare rapidly developing. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of a…
This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008. This year marked the ninth rendition of this annual conference in its current format initially - opted in 1998, aspir…
Welcome to the International Conference an Image and Video Retrieval, CIVR2002. Ourconferenceisasnapshotofthecurrentworld-wideresearch inimageandvideoretrievalfromdigitallibraries,databases,andmultimedia collections. Topicsrangefromthestateofthearti…
The International Symposium on Medical Data Analysis is an important - riodical opportunity to exchange ideas and ?rst-hand experiences with groups interested in the medical applications of innovative hardware and software tools. The massive informa…
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science.This b…
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prol…
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted con…
This book constitutes the refereed proceedings of the Third International Symposium on Bioinformatics Research and Applications, ISBRA 2007, held in Atlanta, GA, USA in May 2007. The 55 revised full papers presented together with three invited talks…
SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13–14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal…
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based so…
such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. Pilar Herrero, several of earlier successful workshops re-emerged with a second or even third edi…
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and…
ACU - Arbeitskreis Computer-Unterstutzter Unterricht
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in…
Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book draws together carefully revised papers on trust, reputation, and security in agent society. Besides workshop papers, several contribution…
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOF…
It was 1999 when Extreme Programming Explained was ?rst published, making this year's event arguably the ?fth anniversary of the birth of the XP/Agile movement in software development. Our fourth conference re?ected the evolution and the learning th…
This book constitutes the refereed proceedings of the 19th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2012, held in Grenoble, France, in June 2012.The 20 revised full papers presented were care…
This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee cou…
This book is the ?nal outcome of VECPAR 2000 – 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 19…
This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. I…
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeetin…
The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su?ciently solid, and still non-exclusive, that allows us: 1. tohelpneuroscientiststoform…
This volume contains the best carefully revised full papers selected from the presentations accepted for the AI '93 and AI '94 Workshop on Evolutionary Computation held in Australia. The 21 papers included cover a wide range of topics in the field o…
This book constitutes the refereed proceedings of the 5th International Conference on Audio- and Video-Based Biometric Person Authentication, AVBPA 2005, held in Hilton Rye Town, NY, USA, in July 2005. The 66 revised oral papers and 50 revised poste…
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 yea…
