Abstract is missing.
- Quality of Service in Information NetworksAugusto Casaca. 1-20
- Risk-Driven Development Of Security-Critical Systems Using UMLsecJan Jürjens, Siv Hilde Houmb. 21-54
- Developing Portable SoftwareJames D. Mooney. 55-84
- Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and RelationsRaymond T. Boute. 85-114
- The Problematic of Distributed Systems Supervision - An Example: GenesysJean-Eric Bohdanowicz, Stefan Wesner, László Kovács, Hendrik Heimer, Andrey Sadovykh. 115-150
- Software Rejuvenation - Modeling and AnalysisKishor S. Trivedi, Kalyanaraman Vaidyanathan. 151-182
- Test and Design-for-Test of Mixed-Signal Integrated CircuitsMarcelo Lubaszewski, José Luis Huertas. 183-212
- Web ServicesMohand-Said Hacid. 213-238
- Applications of Multi-Agent SystemsMihaela Oprea. 239-270
- Discrete Event Simulation with Applications to Computer Communication Systems PerformanceHelena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary. 271-304
- Human-Centered Automation: A Matter of Agent Design and Cognitive Function AllocationGuy A. Boy. 305-331