Information Technology Selected Tutorials /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Reis, Ricardo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2004.
• Σειρά: IFIP International Federation for Information Processing, 157
• Θέματα: Computer science.; Computer hardware.; Computer Science.; Computer Hardware.

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 f...

Πίνακας περιεχομένων:

• 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
• The Problematic of Distributed Systems Supervision - An Example: GeneSyS
• 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 Application to Computer Communication Systems Performance
• Human-Centered Automation: A Matter of Agent Design and Cognitive Function Allocation.