This book constitutes the refereed revised post-workshop proceedings of the 5th International Workshop on Network and Operating Systems Support for Digital Audio and Video, NOSSDAV '95, held in Durham, New Hampshire, USA in April 1995.
The 24 full papers included were selected from a total of 101 submissions; together with overviews by the session chairpersons they reflect the state of the art in networking and operating systems support for multimedia. The papers are organized in sections on advance reservation systems, operating systems support, resource management and quality of service, audio and video systems, and scheduling and synchronization.

Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one of the most reputable events in the field of realistic image synthesis. Including the best 31 papers which were carefully evaluated out of 68 submissions the book gives an overview on hierarchical radiosity, Monte Carlo radiosity, wavelet radiosity, nondiffuse radiosity, and radiosity performance improvements. Some papers deal with ray tracing, reconstruction techniques, volume rendering, illumination, user interface aspects, and importance sampling. Also included are two invited papers by James Arvo and Alain Fournier. As is the style of the Rendering Workshop, the contributions are mainly of algorithmic nature, often demonstrated by prototype implementations. From these implementations result numerous color images which are included as appendix. The Rendering Workshop proceedings are certainly an obligatory piece of literature for all scientists working in the rendering field, but they are also very valuable for the practitioner involved in the implementation of state of the art rendering system certainly influencing the scientific progress in this field.

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.

This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, held jointly in Heidelberg, Germany in September 1995.
The volume presents 26 full refereed papers selected from a total of 86 submissions, together with two invited contributions. The scope of the papers includes measurement- and model-based approaches for quantitative systems assessment, reports on theoretical and methodological progress, and novel and improved assessment techniques and their tool implementations and applications.

Interactive 3-D Graphics in Windows is a hands-on book which uses a component software approach to help Visual C++ programmers quickly and easily develop windows-integrated, interactive 3-D graphics applications. The book includes JOEY, a 3-D user interface toolkit which addresses interaction issues not dealt with in the Microsoft User Interface Style Guide. JOEY provides a 3-D user interface, 3-D tools OLE Linking and Embedding and OLE automation within the MFC framework so that the application programmer can focus on application functionality. Using this book and JOEY, an experienced Visual C++ programmer can create an interactive 3-D application in a few hours. Roy Hall and Danielle Forsyth are the founders of Crisis in Perspective, Inc. in Portland, Oregon. Crisis in Perspective develops modeling systems for architects and building professionals which facilitate modeling and animation in the same way that word processors facilitate written document design; powerful, flexible, and extensive modeling systems for people that do not yet know exactly what they want to build.

If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are looking to build your own Windows applications, you will find Visual Basic provides an easy and effective means of doing so. This book is written specifically to help users get up and running "fast" on Visual Basic and focusses on how to develop useful programs quickly and effectively. If you are an undergraduate wanting a simple way to program applications, a professional programmer who needs a broad introduction to Visual Basic 3, or even an amateur programmer interested in building Windows applications, then this book will tell you all you need to know.

This volume presents a comprehensive first course in the Monte Carlo method which will be suitable for graduate and undergraduate students in the mathematical sciences and engineering, principally operations research, statistics, mathematics, and computer science. The reader is assumed to have a sound understanding of calculus, introductory matrix analysis, probability, and intermediate statistics, but otherwise the book is self-contained. As well as a thorough exploration of the important concepts of the Monte Carlo method, the volume includes over 90 algorithms which allow the reader to move rapidly from the concepts to putting them into practice. The book also contains numerous exercises, many of them hands-on implementations of selected algoriths to demonstrate the application of these ideas in realistic settings. Software, freely available via ftp and portable across computing platforms, provides programs for pseudorandom number generation and statistical sample path data analysis. The software is suitable for use with the exercises as well as for more general applications. For professional mathematical scientists and engineers this book provides a ready reference to the Monte Carlo method, especially to implementable algoritzms for performing sampling experiments on a computer and for analyzing their results.

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java.

The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 participants from 12 countries spread over five continents. Persistent object systems continue to grow in importance. Almost all significant uses of computers to support human endeavours depend on long-lived and large-scale systems. As expectations and ambitions rise so the sophistication of the systems we attempt to build also rises. The quality and integrity of the systems and their feasibility for supporting large groups of co-operating people depends on their technical founda tion. Persistent object systems are being developed which provide a more robust and yet simpler foundation for these persistent applications. The workshop followed the tradition of the previous workshops in the series, focusing on the design, implementation and use of persistent object systems in particular and persistent systems in general. There were clear signs that this line of research is maturing, as engineering issues were discussed with the aid of evidence from operational systems. The work presented covered the complete range of database facilities: transactions, concurrency, distribution, integrity and schema modifica tion. There were examples of very large scale use, one involving tens of terabytes of data. Language issues, particularly the provision of reflection, continued to be important."

Mosaic for Windows is an informative book on how to use the most popular Internet navigation tool ever developed. By focussing on the PC Windows version of Mosaic (NCSA, AIR Mosaic, and Spyglass), including Web browsers like NetScape, WinWeb and WebSurfer, this book will provide an easy-to-follow guide to using a PC and Mosaic to browse, collect, and discover information and resources across the entire electronic world.

This volume constitutes the proceedings of the 12th British National Conference on Databases (BNCOD-12), held at Surrey, Guildford in July 1994. The BNCOD conferences are thought as a platform for exchange between theoreticians and practitioners, where researchers from academia and industry meet professionals interested in advanced database applications. The 13 refereed papers presented in the proceedings were selected from 47 submissions; they are organized in chapters on temporal databases, formal approaches, parallel databases, object-oriented databases, and distributed databases. In addition there are two invited presentations: "Managing open systems now that the "Glashouse" has gone" by R. Baker and "Knowledge reuse through networks of large KBs" by P.M.D. Gray.

Advances in hardware and software technologies have led to an increased interest in the use of large-scale parallel and distributed systems for database, real-time, defense, and large-scale commercial applications. One of the biggest system issues is developing effective techniques for the distribution of multiple program processes on multiple processors. This book discusses how to schedule the processes among processing elements to achieve the expected performance goals, such as minimizing execution time, minimizing communication delays, or maximizing resource utilization.
This book focuses on the future directions of the static scheduling and dynamic load balancing methods in parallel and distributed systems. It provides an overview and a detailed discussion on a wide range of topics from theoretical background to practical, state-of-the-art scheduling and load balancing techniques.
The book will be a useful guide to industry professionals, academic professors, and students who are interested in these important aspects of parallel and distributed systems. Also, it will be helpful to those working on research and development in parallel processing applications, compilers and operating systems, system design, and software tools for parallel program development.

Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume.

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994.

J iirgen N ehmer Load distribution is a very important concept for distributed systems in order to achieve better performance, resource utilization and response times. Providing effi cient mechanisms for the transparent support of load distribution has proven to be an extremely difficult undertaking. As a matter of fact, there is no commercially avail able system which provides transparent load distribution right now. The monograph by D. Milojicic presents a novel load distribution scheme based on modern microker nel architectures. The remarkable results of D. MilojiCiC's approach show evidence for his hypothesis that load distribution is feasible even under strong efficiency con straints if built upon microkernel architectures. Based on a complete implementation using the NORMA-version of Mach, D. MilojiCic shows that substantial performance improvements of his load distribution scheme on top of Mach result from the dramatic reduction of state information to be managed in course of a task migration. For readers not familiar with the topic, the monograph gives a good survey of the load distribution problem and puts existing approaches into perspective. Contents Preface xvii 1 Introduction 1 1. 1 Motivation . . . . . 1 1. 2 Load Distribution 3 1. 3 Research Contributions . 5 1. 4 Thesis Outline. . . 6 2 Background and Related Work 9 2. 1 Introduction. 9 2. 2 Migration 9 2. 2. 1 Design 11 2. 2. 2 Issues 12 2. 2. 3 Previous Work 14 2. 3 Load Information Management 19 2. 3. 1 Design . . . . 20 2. 3. 2 Issues . . . ."

The sed & awk Pocket Reference is a handy, quick reference guide to frequently used functions, commands, and regular expressions used for day-to-day text processing needs. This book is a companion to both sed & awk, Second Edition and Effective awk Programming, Third Edition.

Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement framework for both. The authors use their experience as consultants in systems, software and quality engineering to take the subject from concept and theory, via strategy and procedure, to tools and applications. The book clarifies the key notions of system, model, measurement, product, process, specification and design. Practical examples demonstrate the 'architecture' of measurement schemes, extending them to object-oriented and subjective measurement. A detailed case study provides a measurement strategy for formal specifications, including Prolog, Z and VDM. The reader will be able to formulate problems in measurable terms, appraise and compare formal specifications, assess and enhance existing measurement practices, and devise measurement schemes for describing objective characteristics and expressing value judgements.

Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu lation of large bodies of formulae and help the user in the design of the proofs themselves."

This book constitutes the thoroughly revised proceedings of the Fourth International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93), held in Lancaster, UK in November 1993.
The 24 papers presented in the volume were carefully selected from more than 100 submissions. In addition, the book contains an introduction by the editors as well as a summary of the discussions that occurred during the workshop and a record of the panel and work-in-progress session. The book is organized into chapters on end system architecture, operating system support, high speed networking, quality of service, protocol issues, resource reservation in heterogeneous networks, and storage servers and multicast.

Windows may rule the world of popular computing on PCs around the globe, but DOS still has a place in the hearts and minds of computer users who vaguely remember what a C prompt looks like. Even if DOS (with all its arcane commands and its drab, boring look) isn't your idea of the best way to get things done on a PC, you'll find plenty of fast and friendly help on hand with the third edition of DOS For Dummies.

Here's a plain-speaking reference guide to all the command-line stuff and nonsense that makes DOS work, whether you're a native DOS user or are an occasional dabbler who needs the operating system to run all those cool games under Windows. DOS For Dummies, 3rd Edition, avoids all the technical jargon to cut to the heart of things with clear, easy-to-understand explanations and step-by-step help for managing files, running DOS inside Windows, and installing and running DOS-based software programs. All the basic DOS commands, from APPEND to XCOPY, are demystified to make life in DOS much more bearable. And the book has plenty of helpful tips and tricks for bending DOS to your will, without having to dedicate your life (and all your free time) to mastering this little corner of the PC.

The last decade has seen an enormous change in the capability of information technology and also in the expectations of what that technology can provide. The personal computer revolution at the start of the 1980s brought computing power to the desktop in a way that, for the first time, non-technical users could understand and use in their everyday work. The invisible wall of mystique that had separated computers from their potential users for so long had been demolished, and the world of business would never be the same again. As we entered the 1990s, a decade later, we witnessed the beginnings of another revolution. This revolution is not so obvious, but its implications are even more far-reaching. It is not so obvious because it is happening behind the scenes, in the communications and computing infrastructure that support the machines that can be seen sitting on office desks and, increasingly, being carried with business people as standard equipment along with a briefcase and umbrella. It is potentially more far-reaching for the following reason. The per sonal computer of the 1980s brought computing power to the user in a box that could fit on a desk. The revolution of the 1990s brings to the user computing power that is distributed across the whole planet."

This book is about the advanced, object-oriented NEXTSTEp (TM) user envi ronment for NeXT and Intel-based computers. It is intended for those who already own a computer running NEXTSTEP and want to quickly learn what it can do and how to get the most out of it with the least effort. It's also for those who are considering the purchase of NEXTSTEP but want to learn more about how it works before making an investment. Why a book on NEXTSTEP? When I set out to learn how to use NEXT STEP several years ago, I found it extremely difficult to find information from the usual sources, such as books, magazines, user groups, and autho rized dealers. NEXTSTEP users were scarce and finding a computer store that sold NeXT-related products was even more rare. There were also only a handful of NeXT user groups in existence and those that did exist met so far away that joining one of them was impractical. The manuals I received from NeXT were helpful, but I had the feeling there must be something more to it than what was written in the User's Reference. It didn't describe many of the shortcuts that experienced users had found or the public domain and shareware utilities that were popular and how I could use them to make my work even easier and more fun.

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.
In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.
In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.

Want to perform programming tasks better, faster, simpler, and make them repeatable? Take a deep dive into Windows PowerShell and discover what this distributed automation platform can do. Whether you're a .NET developer or IT pro, this concise guide will show you how PowerShell's scripting language can help you be more productive on everyday tasks.

Quickly learn how to create PowerShell scripts and embed them into your existing applications, write "little languages" to solve specific problems, and take charge of your code. This book includes example scripts that you can easily pull apart, tweak, and then use in your own PowerShell and .NET solutions.Slice and dice text, XML, CSV, and JSON with easeEmbed PowerShell to provide scripting capabilities for your C# appsCreate GUI applications five to ten times faster with less codeLeverage PowerShell's capabilities to work with the InternetInteract with DLLs and create objects, automatically display properties, and call methods in live interactive sessionsBuild domain-specific languages (DSLs) and vocabularies to express solutions more clearlyWork with Microsoft Office via the Component Object Model (COM)Discover PowerShell v3 features included with Windows 8 and Windows Server 2012