Information Technology Selected Tutorials /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Reis, Ricardo (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA : Springer US, 2004.
Σειρά:IFIP International Federation for Information Processing, 157
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03824nam a22004575i 4500
001 978-1-4020-8159-0
003 DE-He213
005 20150519191258.0
007 cr nn 008mamaa
008 100301s2004 xxu| s |||| 0|eng d
020 |a 9781402081590  |9 978-1-4020-8159-0 
024 7 |a 10.1007/b98987  |2 doi 
040 |d GrThAP 
050 4 |a QA75.5-76.95 
050 4 |a TK7885-7895 
072 7 |a UK  |2 bicssc 
072 7 |a COM067000  |2 bisacsh 
082 0 4 |a 004  |2 23 
245 1 0 |a Information Technology  |h [electronic resource] :  |b Selected Tutorials /  |c edited by Ricardo Reis. 
264 1 |a Boston, MA :  |b Springer US,  |c 2004. 
300 |a VII, 331 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a IFIP International Federation for Information Processing,  |x 1571-5736 ;  |v 157 
505 0 |a 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. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Computer hardware. 
650 1 4 |a Computer Science. 
650 2 4 |a Computer Hardware. 
700 1 |a Reis, Ricardo.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9781402081583 
830 0 |a IFIP International Federation for Information Processing,  |x 1571-5736 ;  |v 157 
856 4 0 |u http://dx.doi.org/10.1007/b98987  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)