Systems analysis and design

This volume contains the complete proceedings of a NATO Advanced Study Institute on various aspects of the reliability of electronic and other systems.

In general, distributed systems can be classified into Distributed File Systems (DFS) and Distributed Operating Systems (DOS).

This volume contains papers representing a comprehensive record of the contributions to the fifth workshop at EG '90 in Lausanne.

SUPERCOMPUTER '91 - Anwendungen, Architekturen, Trends enthält alle Hauptvorträge des zum sechsten Mal veranstalteten Mannheimer Seminars.

Die Fachtagung "Kommunikation in verteilten Systemen" hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten Systemen und den zugehörigen Kommunikationsaspekten zu vermitteln.

The main objective of this workshop was to review and discuss the state of the art and the latest advances* in the area of 1-10 Gbit/s throughput for local and metropolitan area networks.

Dieser Band enthält alle Hauptvorträge des fünften Mannheimer Seminars über Supercomputer.

This text has been produced for the benefit of students in computer and infor- mation science and for experts involved in the design of microprocessors.

Seit 1986 trifft sich in Mannheim jährlich auf Einladung des Vereins zur wissenschaftlichen Weiterbildung der Universität Mannheim e.

Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern.

Internetzwerke, bestehend aus miteinander gekoppelten lokalen und öffentlichen Datennetzen (LAN, WAN), sowie Methoden und Werkzeuge für ihre Entwurfsplanung und Leistungsoptimierung sind die zentralen Themen dieser Monographie.

This book contains the results of an Advanced Research Workshop that took place in Grenoble, France, in June 1988.

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.

Das vorliegende Buch behandelt die Synchronisation als eine der zentralen Funktionen zur Aufrechterhaltung der Integrität in Datenbanksystemen.

Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.

This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "e;Software for Parallel Computation"e; held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992.

This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunications.

This book contains extended and revised versions of the best papers presented at the 20th IFIP WG 10.

This book constitutes the refereed proceedings of the 13th International Conference on Systems Simulation, Asia Simulation 2013, held in Singapore, in November 2013.

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013.

The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.

This two-volume set LNAI 14692-14693 constitutes the thoroughly refereed proceedings of the 21st International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2024, held as part of HCI International 2024,held in Washington, DC, USA, during June 29 - July 4, 2024.

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22-25, 2024.

This book constitutes the refereed proceedings of the 23rd International Conference on Next Generation Wired/Wireless Networking, NEW2AN 2023, and the 16th Conference on Internet of Things and Smart Spaces, ruSMART 2023, held in Dubai, United Arab Emirates, in December 21-22, 2023.

This two-volume set LNAI 14692-14693 constitutes the thoroughly refereed proceedings of the 21st International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2024, held as part of HCI International 2024,held in Washington, DC, USA, during June 29 - July 4, 2024.

Designing Collaborative Systems: A Practical Guide to Ethnography introduces a new 'ethnographic' approach that will enable designers to create collaborative and interactive systems, which are employed successfully in real-world settings.

Cloud computing continues to emerge as a subject of substantial industrial and academic interest.

Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010.

Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements.

The main objective of pervasive computing systems is to create environments where computers become invisible by being seamlessly integrated and connected into our everyday environment, where such embedded computers can then provide inf- mation and exercise intelligent control when needed, but without being obtrusive.

This preface tells the story of how Multimodal Usability responds to a special challenge.

The use of parallel programming and architectures is essential for simulating and solving problems in modern computational practice.

"e;Safety-Critical Systems: Problems, Process and Practice"e; contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009.

Overview and Goals This book is dedicated to scheduling for parallel processing.

"e;Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems"e; provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems.

The ability to reason correctly is critical to most aspects of computer science and to software development in particular.