IFIP Tutorials 2004: Toulouse, France

Ricardo Reis (Ed.): Information Technology, Selected Tutorials, IFIP 18th World Computer Congress, Tutorials, 22-27 August 2004, Toulouse, France. Kluwer 2004, ISBN 1-4020-8158-8

Augusto Casaca: Quality of Service in Information Networks. 1-20
Jan Jürjens, Siv Hilde Houmb: Risk-Driven Development Of Security-Critical Systems Using UMLsec. 21-54
James D. Mooney: Developing Portable Software. 55-84
Raymond T. Boute: Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations. 85-114
Jean-Eric Bohdanowicz, Stefan Wesner, László Kovács, Hendrik Heimer, Andrey Sadovykh: The Problematic of Distributed Systems Supervision - An Example: Genesys. 115-150
Kishor S. Trivedi, Kalyanaraman Vaidyanathan: Software Rejuvenation - Modeling and Analysis. 151-182
Marcelo Lubaszewski, José Luis Huertas: Test and Design-for-Test of Mixed-Signal Integrated Circuits. 183-212
Mohand-Said Hacid: Web Services. 213-238
Mihaela Oprea: Applications of Multi-Agent Systems. 239-270
Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary: Discrete Event Simulation with Applications to Computer Communication Systems Performance. 271-304
Guy A. Boy: Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation. 305-331