Information Technology: Selected Tutorials (IFIP Advances in Information and Communication Technology) (by Ricardo Reis)


Author(s): Ricardo Reis

Publisher: Springer
Publish date: 2004-07-27
ISBN-10: 1402081588
ISBN-13: 9781402081583
Language: English
Description:
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 • Discrete Event Simulation •… more…

Read Source: Information Technology: Selected Tutorials (IFIP Advances in Information and Communication Technology) (by Ricardo Reis)»

Leave a Reply

Your email address will not be published.