© 2004

Information Technology

Selected Tutorials

  • Ricardo Reis
Conference proceedings

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 157)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Augusto Casaca
    Pages 1-20
  3. Jan Jürjens, Siv Hilde Houmb
    Pages 21-53
  4. James D. Mooney
    Pages 55-84
  5. Jean-Eric Bohdanowicz, Stefan Wesner, Laszlo Kovacs, Hendrik Heimer, Andrey Sadovykh
    Pages 115-150
  6. Kishor S. Trivedi, Kalyanaraman Vaidyanathan
    Pages 151-182
  7. Marcelo Lubaszewski, Jose Luis Huertas
    Pages 183-212
  8. Mohand-Said Hacid
    Pages 213-237
  9. Mihaela Oprea
    Pages 239-270
  10. Helena Szczerbicka, Kishor S. Trivedi, Pawan K. Choudhary
    Pages 271-304

About these proceedings


This book contains a selection of tutorials on hot topics in information technology, which were presented at the IFIP World Computer Congress. WCC2004 took place at the Centre de Congrès Pierre Baudis, in Toulouse, France, from 22 to 27 August 2004. The 11 chapters included in the book were chosen from tutorials proposals submitted to WCC2004. These papers report on several important and state-of-the-art topics on information technology such as: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems Discrete Event Simulation Human-Centered Automation We hereby would like to thank IFIP and more specifically WCC2004 Tutorials Committee and the authors for their contribution. We also would like to thank the congress organizers who have done a great job. Ricardo Reis Editor QUALITY OF SERVICE IN INFORMATION NETWORKS Augusto Casaca IST/INESC, R. Alves Redol, 1000-029, Lisboa, Portugal. Abstract: This article introduces the problems concerned with the provision of end-- end quality of service in IP networks, which are the basis of information networks, describes the existing solutions for that provision and presents some of the current research items on the subject. Key words: Information networks, IP networks, Integrated Services, Differentiated Services, Multiprotocol Label Switching, UMTS.


Analysis Hardware Information Technology Unified Modeling Language (UML) computer distributed systems information processing integrated circuit modeling multi-agent system

Editors and affiliations

  • Ricardo Reis
    • 1
  1. 1.Universidade Federal do Rio Grande do SulBrazil

Bibliographic information

  • Book Title Information Technology
  • Book Subtitle Selected Tutorials
  • Editors Ricardo Reis
  • Series Title IFIP International Federation for Information Processing
  • DOI
  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-1-4020-8158-3
  • Softcover ISBN 978-1-4419-5489-3
  • eBook ISBN 978-1-4020-8159-0
  • Series ISSN 1571-5736
  • Edition Number 1
  • Number of Pages VII, 331
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Computer Hardware
  • Buy this book on publisher's site
Industry Sectors
IT & Software