Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability.
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory.
Social navigation is a vibrant new field which examines how we navigate information spaces in "e;real"e; and "e;virtual"e; environments, how we orient and guide ourselves, and how we interact with and use others to find our way in information spaces.
Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems.
Conceptual Modeling for User Interface Development introduces the technique of Entity-Relationship-Modeling and shows how the technique can be applied to interface issues.
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications.
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development.
This is a book about multi-threaded programming - it could well be subtitled 'How to write computer programs tllat do lots of different tlrings all at once'.
Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001.
Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathematics and probability.
Finite Element Programs for Structural Vibrations presents detailed descriptions of how to use six computer programs (written in Fortran 77) to determine the resonant frequencies of one, two, and three-dimensional skeletal structures through the finite element method.
This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and improving some of the formatting and readability.
The third evolutionary I adaptive computing conference organised by the Plymouth Engineering Design Centre (PEDC) at the University of Plymouth again explores the utility of various adaptive search algorithms and complementary computational intelligence techniques within the engineering design and manufacturing domains.
Client/server and distributed technologies have made great strides since their emergence in the late 1980s to become very popular in the IT industry today.
Dr Peter Milton, Director of Programme Review, Quality Assurance Agency I am grateful to the authors for giving me the opportunity to write this foreword, mainly because it represents the first occasion that the Fund for the Development of Teaching and Learning (FDTL) has led directly to a pUblication such as this.
Implementing Practical DB2 Applications provides a concise source of information for the development and implication of applications using IBM's DB2 relational database package in the MVS environment.
This book contains mainly a selection of papers that were presented at the International Workshop on High Performance Computing/or Computer Graphics and Visualisation, held in Swansea, United Kingdom on 3-4 July 1995.
Optimization in Industry comprises a collection of papers presented at the third US United Engineering Foundation's 'Optimization in Industry' Conference.
Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band communication systems, as well as in ranging systems global positioning systems, circuit testing and stream ciphers.
Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003.
