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
Copyright © Thu Nov 12 00:53:42 2009
by Michael Ley (ley@uni-trier.de)