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 BibTeX

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