Information Technology: Selected Tutorials

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

This volume reports on several important and state-of-the-art topics in information technology, including: / Quality of Service in Information Networks / Risk-Driven Development of Security-Critical Systems Using UMLsec / Developing Portable Software/ Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations / The Problematic of Distributed Systems Supervision / Software Rejuvenation — Modeling and Analysis / Test and Design-for-Test of Mixed-Signal Integrated Circuits / Web Services/ Applications of Multi-Agent Systems / Discrete Event Simulation / Human-Centered Automation. Information Technology: Selected Tutorials comprises papers presented at the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France and sponsored by the International Federation for Information Processing (IFIP).