Information technology :selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
- 其他作者: Reis, Ricardo.
- 出版: Boston ;London : Kluwer Academic Publishers ©2004.
- 稽核項: 1 online resource (vi, 331 pages) :illustrations.
- 叢書名: IFIP congress series ;157
- 標題: Information Technology. , Electronic books. , COMPUTERS , Information technology. , Reference. , Machine Theory. , COMPUTERS Reference. , HardwareGeneral. , COMPUTERS Data Processing. , Computer Science. , Information technology Congresses. , COMPUTERS Computer Literacy. , Data Processing. , COMPUTERS Computer Science. , COMPUTERS Information Technology. , COMPUTERS Hardware -- General. , Computer Literacy. , Conference papers and proceedings. , COMPUTERS Machine Theory. , Information technology
- ISBN: 1402081596 , 9781402081590
- 試查全文@TNUA:
- 附註: Includes bibliographical references. Preliminaries; Contents; Preface; 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 with Applications to Computer Communication Systems Performance.
- 摘要: This volume reports on several important and state-of-the-art topics in information technology, including: 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.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=122116
- 系統號: 005312217
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
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.
來源: Google Book
來源: Google Book
評分
