Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Rilegato

 
9781609608453: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Rilegato
ISBN 10: 1609608453 ISBN 13: 9781609608453
Casa editrice: Information Science Reference, 2011

Sinossi

Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Information Science Reference
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1609608453
ISBN 13 
9781609608453
Rilegatura
Copertina rigida
Numero di pagine
431
Redattore
Cong-vinh Phan
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9781609608477: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Edizione in evidenza

ISBN 10:  160960847X ISBN 13:  9781609608477
Casa editrice: Information Science Reference, 2011
Pacchetto di prodotti