Information Technology

Selected Tutorials

Editors:

ISBN: 978-1-4020-8158-3 (Print) 978-1-4020-8159-0 (Online)

Table of contents (11 chapters)

  1. Book Chapter

    Pages 1-20

    Quality of Service in Information Networks

  2. Book Chapter

    Pages 21-53

    Risk-Driven Development of Security-Critical Systems Using UMLsec

  3. Book Chapter

    Pages 55-84

    Developing Portable Software

  4. Book Chapter

    Pages 85-114

    Formal Reasoning About Systems, Software and Hardware

  5. Book Chapter

    Pages 115-150

    The Problematic of Distributed Systems Supervision - An Example: GeneSyS

  6. Book Chapter

    Pages 151-182

    Software Rejuvenation - Modeling and Analysis

  7. Book Chapter

    Pages 183-212

    Test and Design-for-Test of Mixed-Signal Integrated Circuits

  8. Book Chapter

    Pages 213-237

    Web Services

  9. Book Chapter

    Pages 239-270

    Applications of Multi-Agent Systems

  10. Book Chapter

    Pages 271-304

    Discrete Event Simulation with Application to Computer Communication Systems Performance

  11. Book Chapter

    Pages 305-331

    Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation