Information Technology

Selected Tutorials

Editors:

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

Table of contents (11 chapters)

  1. No Access

    Book Chapter

    Pages 1-20

    Quality of Service in Information Networks

  2. No Access

    Book Chapter

    Pages 21-53

    Risk-Driven Development of Security-Critical Systems Using UMLsec

  3. No Access

    Book Chapter

    Pages 55-84

    Developing Portable Software

  4. No Access

    Book Chapter

    Pages 85-114

    Formal Reasoning About Systems, Software and Hardware

  5. No Access

    Book Chapter

    Pages 115-150

    The Problematic of Distributed Systems Supervision - An Example: GeneSyS

  6. No Access

    Book Chapter

    Pages 151-182

    Software Rejuvenation - Modeling and Analysis

  7. No Access

    Book Chapter

    Pages 183-212

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

  8. No Access

    Book Chapter

    Pages 213-237

    Web Services

  9. No Access

    Book Chapter

    Pages 239-270

    Applications of Multi-Agent Systems

  10. No Access

    Book Chapter

    Pages 271-304

    Discrete Event Simulation with Application to Computer Communication Systems Performance

  11. No Access

    Book Chapter

    Pages 305-331

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