The management of diseases of the venous system has evolved rapidly over the last forty years. Mu...

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was h...

Recent and well-publicised disasters have highlighted the fact that organisations of all kinds - ...

A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will revea...

This volume contains the papers presented at the Intemational Conference on Object Oriented Infor...

The International Workshop on Temporal Databases held in Zurich, Switzerland, 17-18 September 199...

Safety-related computer systems are those which may lead to loss of life, injury or plant and env...

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent ...

As the costs of power and timing become increasingly difficult to manage in traditional synchrono...

In this paper a nearly perfected concept of basic training in the field of 'Computer Integrated M...

Modern Methods in Analytical Acoustics considers topics fundamental to the understanding of noise...

The shift from network-oriented to user-oriented services in the 80s and early 90s has increased ...