| 书目名称 | Information Technology |
| 副标题 | Selected Tutorials |
| 编辑 | Ricardo Reis |
| 视频video | |
| 丛书名称 | IFIP Advances in Information and Communication Technology |
| 图书封面 |  |
| 描述 | 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 INFORMATI |
| 出版日期 | Conference proceedings 2004 |
| 关键词 | Analysis; Hardware; Information Technology; Unified Modeling Language (UML); computer; distributed system |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b98987 |
| isbn_softcover | 978-1-4419-5489-3 |
| isbn_ebook | 978-1-4020-8159-0Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 2004 |
发表于 2025-3-21 17:26:21
