The first STG report to embody scenarios on population aging, health and care appeared in 1985. This report describes developments since 1985, reviewing the current position and setting out updated scenarios.
The 1985 report set out three scenarios, in which the central focus was on the developing future pattern of demand for care by the elderly. The present report too sets out three scenarios, centring on the demand for care, in which account is taken of a variety of factors; it also details four strategic scenarios whose central focus is on the developing supply of care and which set...

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 coordination technology and business application requirements and introduces general elements of a cooperative infrastructure allowing for the construction of collaborative applications. It is essential reading for research and development...

This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris.
The book presents nine invited contributions together with 14 revised full papers selected from a total of 54 submissions. The book is divided in parts on systems and applications; issues of design, querying, and communication; rational cooperation and electronic commerce; adaptive and collaborative information gathering; and mobile information agents in the internet.

This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.

This is the first volume of papers from the 1998 Asian Conference on Computer Vision. The papers are organized in topical sections on areas such as biometry, physics-based vision, colour vision, robot vision and navigation, low-level processing, active vision, and motion analysis.

This text 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 E-TAPS 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 proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one...

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the...

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.

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...