IFIP Advances in Information and Communication Technology

Information Technology

Selected Tutorials

Editors: Reis, Ricardo (Ed.)

Buy this book

eBook $139.00
price for USA (gross)
  • ISBN 978-1-4020-8159-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-1-4020-8158-3
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $185.00
price for USA
  • ISBN 978-1-4419-5489-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (11 chapters)

  • Quality of Service in Information Networks

    Casaca, Augusto

    Pages 1-20

  • Risk-Driven Development of Security-Critical Systems Using UMLsec

    Jürjens, Jan (et al.)

    Pages 21-53

  • Developing Portable Software

    Mooney, James D.

    Pages 55-84

  • Formal Reasoning About Systems, Software and Hardware

    Boute, Raymond

    Pages 85-114

  • The Problematic of Distributed Systems Supervision - An Example: GeneSyS

    Bohdanowicz, Jean-Eric (et al.)

    Pages 115-150

Buy this book

eBook $139.00
price for USA (gross)
  • ISBN 978-1-4020-8159-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-1-4020-8158-3
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $185.00
price for USA
  • ISBN 978-1-4419-5489-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Information Technology
Book Subtitle
Selected Tutorials
Editors
  • Ricardo Reis
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
157
Copyright
2004
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-1-4020-8159-0
DOI
10.1007/b98987
Hardcover ISBN
978-1-4020-8158-3
Softcover ISBN
978-1-4419-5489-3
Series ISSN
1868-4238
Edition Number
1
Number of Pages
VII, 331
Topics