Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Companies and institutions depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based. Business Continuity is the ability to do business under any circumstances and is an essential requirement faced by modern companies. Both concepts - High Availability and Disaster Recovery - are realized by redundant systems. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux Systems.

This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangaratiba, Brazil, in March 2007. The 27 full papers and 10 short papers presented together with a late-comer contribution from ARC 2006 are organized in topical sections on architectures, mapping techniques and tools, arithmetic, and applications.

This book constitutes the refereed proceedings of the Second International Conference on Grid and Pervasive Computing, GPC 2007, held in Paris, France in May 2007. It covers all aspects of grid and pervasive computing and focuses on topics such as cluster computing, grid computing, semantic Web and semantic grid, service-oriented computing, peer-to-peer computing, mobile computing, as well as grid and pervasive related applications.

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.

SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 2007. The 75 revised full papers cover embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia and HCI, pervasive/ubiquitous computing and sensor network, power-aware computing, real-time systems, security and dependability, and wireless communication.

Das 20. Fachgesprach Autonome Mobile Systeme (AMS 2007) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten, eine Basis fur den Gedakenaustausch bietet und wissenschfltiche Diskussionen sowie Kooperationen auf diesem Forschungsgebiet fordert bzw. initiiert. Inhaltlich setzt das Fachgesprach den diesjahrigen Schwerpunkt auf Arbeiten im Bereich der kognitiven Automobile und Laufmaschinen. Ausgewahlte Beitrage zu den Themen Fahrerassistenzsysteme, Humanoide Roboter, Kartierung und Lokalisation,...