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 InformationProcessing (IFIP).
- ISBN: 978-1-4419-5489-3
- Editorial: Springer
- Encuadernacion: Rústica
- Fecha Publicación: 14/03/2012
- Nº Volúmenes: 1
- Idioma: Inglés