Author(s): Ricardo Reis
Categories: Reference > General, Business & Economics > General, Computers > Hardware, Computers > Computer Science
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…
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…