Cantitate/Preț
Produs

Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6407

Editat de Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
en Limba Engleză Paperback – 8 oct 2010

Sub egida editorilor Bing Xie, Juergen Branke și a echipei lor, acest volum colectiv sintetizează expertiza internațională în domeniul sistemelor complexe, auto-gestionabile. Descoperim aici o abordare tehnică riguroasă a conceptelor de „autonomic computing” și „organic computing”, esențiale într-un peisaj tehnologic unde intervenția umană devine limitativă. Spre deosebire de lucrările teoretice generale, volumul de față, parte din seria Lecture Notes in Computer Science, se ancorează în soluții practice pentru sisteme eterogene, de la dispozitive embedded la rețele la scară largă.

Structura volumului reflectă o progresie logică de la fundamentarea formală la aplicații industriale concrete. Reținem secțiunile dedicate algoritmilor de adaptare on-line și verificării compoziționale, elemente vitale pentru a asigura predictibilitatea sistemelor autonome. Un punct de interes major îl reprezintă studiile de caz privind implementarea mecanismelor de „self-healing” în sistemele auto, demonstrând aplicabilitatea directă a cercetării în ingineria modernă. Pe linia practică a volumului Trustworthy Autonomic Computing, dar cu focus pe arhitecturi organice și rețele senzoriale, prezenta lucrare analizează cum încrederea (trust) poate fi cuantificată și integrată în protocoalele de comunicare.

Comparativ cu Organic Computing - A Paradigm Shift for Complex Systems, care propune o schimbare de paradigmă la nivel conceptual, Autonomic and Trusted Computing oferă instrumente de analiză specifice, precum detecția curselor de mesaje (message race detection) pentru serviciile web prin analiză bazată pe SMT. Este o resursă tehnică ce completează viziunea autorului Bing Xie asupra sistemelor complexe, extinzând rigoarea analitică dincolo de managementul organizațional către arhitecturile software și hardware reziliente.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31975 lei

Preț vechi: 39968 lei
-20%

Puncte Express: 480

Carte disponibilă

Livrare economică 27 mai-10 iunie


Specificații

ISBN-13: 9783642165757
ISBN-10: 3642165753
Pagini: 345
Ilustrații: XVII, 328 p. 112 illus.
Greutate: 0.42 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm această lucrare cercetătorilor și inginerilor de sistem care dezvoltă infrastructuri critice auto-gestionabile. Cititorul câștigă acces la metodologii avansate de verificare formală și modele de încredere pentru rețele senzoriale și P2P. Este un ghid esențial pentru înțelegerea modului în care proprietățile de auto-configurare și auto-protecție pot fi implementate fără a sacrifica controlul și securitatea în medii informatice complexe.


Descriere scurtă

Computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have become - creasingly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-* properties to the maximum extent possible without human intervention or guidance. Organic computing (OC) additionally addresses adaptability, robustness, and c- trolled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/ trustworthy computing (TC) aims at making computing and communication systems––as well as services––available, predictable, traceable, controllable, asse- able, sustainable, dependable, persistent, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic s- tems with truly trustworthy services. Started in 2005, ATC conferences have been held at Nagasaki (Japan), Vienna (Austria), Three Gorges (China), Hong Kong (China), Oslo (Norway) and Brisbane (Australia). The 2010 proceedings contain the papers presented at the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), heldin Xi’an, China, October 26–29, 2010.

Cuprins

Autonomic and Organic Computing.- Self-organizing Computer Vision for Robust Object Tracking in Smart Cameras.- A Formal Framework for Compositional Verification of Organic Computing Systems.- On-Line Adaptive Algorithms in Autonomic Restart Control.- Designing Self-healing in Automotive Systems.- Trustworthy Organic Computing Systems: Challenges and Perspectives.- AC/OC Network and Protocol.- Adaptive Control of Sensor Networks.- Design of Location-Based Hierarchical Overlay Network Supporting P2PSIP Conferencing Service.- Trust Models and Application.- Effects of Displaying Trust Information on Mobile Application Usage.- Context Based Trust Normalization in Service-Oriented Environments.- A Framework for Trust Enabled Software Asset Retrieval.- Opportunistic Trust Based P2P Services Framework for Disconnected MANETs.- A Risk-Aware Resource Service Decision Strategy for Global Computing.- Trustworthy Computing.- Message Race Detection for Web Services by an SMT-Based Analysis.- A User-Oriented Approach to Assessing Web Service Trustworthiness.- Improving the Trustworthiness of Service QoS Information in Service-Based Systems.- Using ELECTRE TRI Outranking Method to Evaluate Trustworthy Software.- The Testing Method for Interface Customized Component.- Trust-Related Security.- A New Monitor Model for Enhancing Trust-Based Systems.- Design and Analysis of “Flexible” k-out-of-n Signatures.- A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.- Invited Session.- Towards Autonomic Mode Control of a Scalable Intrusion Tolerant Architecture.- Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace.- On Alleviating Reader Collisions Towards High Efficient RFID Systems.