This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. The focus of this work is on the issue of availability in distributed file systems. It presents the important new technique called disconnected operation, in which clients mask failures and voluntary network detachments by emulating the functionality of servers where actual server-oriented solutions are inadequate. This permits client operation even under complete isolation from the server; the clean integration of mobile computers into the system is an important side-effect of the new technique. The design and implementation of disconnected file service in a working system, the Coda file system, is described in detail.
This state-of-the-art survey examines the credentials of agent-based approaches as a software engineering paradigm. The 15 revised full papers presented together with two invited articles were carefully selected from 49 submissions during two rounds of reviewing and improvement for the Third International Workshop on Agent-Oriented Software Engineering, AOSE 2002, held in Bologna, Italy, during AAMAS 2002. The papers address all current issues in the field of software agents and multi-agent systems relevant for software engineering; they are organized in topical sections on - modeling, specification, and validation - patterns, architectures, and reuse - UML and agent systems - methodologies and tools - positions and perspectives
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.