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 the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and...

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.

This book constitutes the refereed proceedings of the 10th International Conference on Advanced Information Systems Engineering, CAiSE'98, held in Pisa, Italy, in June 1998.
The book presents 21 revised full papers together with one invited survey; the papers were selected from a total of 102 submissions. The book is divided into sections on information systems design, data warehouses and extensible database management systems, workflow management and groupware, reuse, application design and WWW, and industrial experiences.

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 indexing, query optimization on the Web, Algorithms for data mining, modelling in OLAP, query processing and storage management, aggregation and summary data, object-oriented and active databases, view maintenance and integrity, databases and the Web,...

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers, practitioners and implementors...

An overview of current developments in research on feasible computations; and its relation to provable properties of complexity of computations.

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 automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and...

This volume presents a total of 58 revised full papers and 112 revised posters selected from over 300 submissions to the Third Asian Conference on Computer Vision. The papers are organized in topical sections on biometry, physics-based vision, colour vision, robot vision and navigation, OCR and applications, low-level processing, active vision, face and hand posture recognition, segmentation and grouping, computer vision and virtual reality, motion analysis, and object recognition and modelling.

This book constitutes the refereed proceedings of the 10th International Workshop on Distributed Algorithms, WDAG '96, held in Bologna, Italy, in October 1996.
The volume presents 21 revised full papers selected from 75 submissions together with invited contributions by Butler Lampson and Domenico Ferrari. The volume reflects the transition of the area from formerly being the domain of a small research community to becoming the dominant computing paradigm and an industrial technology. Among the topics covered are all current aspects of distributed algorithms ranging from theory to...

This book constitutes the refereed proceedings of the 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998.
The Euro-Par'98 conference is organized in initially 23 workshops addressing all current topics in parallel processing ranging from hardware via software and algorithms to applications. The book presents a total of 134 revised papers selected from a total of 238 submissions from 33 countries. The selection of the papers is based on more than 850 individual reviews. The book presents the state of the art in parallel processing...