This volume presents the proceedings of the 1st International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. The conference focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics ...
Given the broad popularity of Internet technology, even in its present immature state, and also the recent progress made towards a human-centered view of information technology, the time now seems ripe to essentially extend the scope and power of enterprise information systems.This carefully arranged book concentrates on the relationships between ...
This book constitutes the refereed proceedings of the 9th Annual Symposium on Combinatorial Pattern Matching, CPM 98, held in Piscataway, NJ, USA, in July 1998. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers address all current issues in combinatorial pattern matching dealing with a ...
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jurgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems.The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating ...
This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia, Spain, in March 1998. The 32 revised full papers presented together with one invited keynote were selected from a total of 191 submissions. The book is divided in sections on similarity search and ...
This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on ...
This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997.The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The ...
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system ...
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers ...
This book constitutes the refereed proceedings of the 6th Scandinavian Workshop on Algorithm Theory, SWAT'98, held in Stockholm, Sweden, in July 1998. The volume presents 28 revised full papers selected from 56 submissions; also included are three invited contributions. The papers present original research on algorithms and data structures in ...
This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered ...
This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999.The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art ...
This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998. The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, ...
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. ...
This book constitutes the refereed proceedings of the Second European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '98, held in Nantes, France, in September 1998. The volume presents 26 revised papers corresponding to the oral presentations given at the conference; also included are refereed papers corresponding to the 30 ...
This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '99, held in Prague, Czech Republic in May 1999. The 32 revised full papers presented were carefully selected during highly competitive reviewing process. The book is divided in topical sections on ...
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics ...
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are new universal network protocols for store-and-forward and wormhole routing with ...
This volume presents the proceedings of the 4th International Conference on Computers for Handicapped Persons, held in Vienna in September 1994. It addresses human-computer interaction from the viewpoint of the handicapped.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997. The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of ...
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the ...
This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of ...
This book grew out of a Dagstuhl seminar organized by the volume editors in June 1997. After the seminar, submissions for this book were solicited both from and beyond the group of participants. A peer review process followed, from which only original papers of the highest quality on the state of the art in the field were accepted for presentation ...
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Database Programming Languages, DBPL-6, held in Estes Park, Colorado, USA, in August 1997. The 20 revised full papers presented have gone through two rounds of reviewing and selection. Also included are two invited talks, the transcription ...
This book constitutes the refereed proceedings of the 5th International Workshop on Fast Software Encryption, FSE '98, held in Paris, France, in March 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 39 submissions. The volume is divided in topical sections on cryptanalysis, new stream ciphers, design ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.