Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

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

Cong-Vinh, Phan

Hardcover

Series: Premier Reference Source

Technology & EngineeringGeneral Computers

ISBN10: 1609608453
ISBN13: 9781609608453
Publisher: Information Science Reference
Published: Oct 31 2011
Pages: 446
Weight: 2.90
Height: 1.00 Width: 8.50 Depth: 11.00
Language: English
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.

Also in

General Computers

View All