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

Developments in technology have made it possible for speech output to be used in place of the more usual visual interface in both domestic and commercial devices. Speech can be used in situations where visual attention is occupied, such as when driving a car, or where a task is complex and traditional visual interfaces are not effective, such as programming a video recorder. Speech can also be employed in specialist adaptations for visually impaired people.

However, the use of speech has not been universally successful, possibly because the speech interaction is poorly designed....

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 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.