Formal and practical aspects of autonomic computing and networking specification, development, and verification
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Information Science Reference
[2012]
|
| Schriftenreihe: | Premier reference source
|
| Schlagworte: | |
| Online-Zugang: | DE-706 DE-1049 DE-898 DE-573 DE-1050 DE-83 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044348830 | ||
| 003 | DE-604 | ||
| 005 | 20171206 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170613s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9781609608460 |9 978-1-60960-846-0 | ||
| 020 | |a 9781609608477 |c print & perpetual access |9 978-1-60960-847-7 | ||
| 024 | 7 | |a 10.4018/978-1-60960-845-3 |2 doi | |
| 035 | |a (OCoLC)992495428 | ||
| 035 | |a (DE-599)BVBBV044348830 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-573 |a DE-1049 |a DE-898 |a DE-1050 |a DE-83 | ||
| 245 | 1 | 0 | |a Formal and practical aspects of autonomic computing and networking |b specification, development, and verification |c Phan Cong-Vinh (NTT University, Vietnam) |
| 264 | 1 | |a Hershey PA |b Information Science Reference |c [2012] | |
| 264 | 4 | |c © 2012 | |
| 300 | |a 1 Online-Ressource (xii, 431 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Premier reference source | |
| 500 | |a Includes bibliographical references | ||
| 505 | 8 | |a 1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hall e, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / G abor R etv ari ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Ga iti | |
| 520 | |a "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher | ||
| 650 | 4 | |a Autonomic computing | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Cong-Vinh, Phan |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-60960-845-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-60960-845-3 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB |a ZDB-1-IGE | ||
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-845-3 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-845-3 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-845-3 |l DE-573 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-845-3 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-845-3 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1805078996223787008 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Cong-Vinh, Phan |
| author2_role | edt |
| author2_variant | p c v pcv |
| author_facet | Cong-Vinh, Phan |
| building | Verbundindex |
| bvnumber | BV044348830 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| contents | 1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hall e, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / G abor R etv ari ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Ga iti |
| ctrlnum | (OCoLC)992495428 (DE-599)BVBBV044348830 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV044348830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171206</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170613s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781609608460</subfield><subfield code="9">978-1-60960-846-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781609608477</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-60960-847-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-60960-845-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992495428</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044348830</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal and practical aspects of autonomic computing and networking</subfield><subfield code="b">specification, development, and verification</subfield><subfield code="c">Phan Cong-Vinh (NTT University, Vietnam)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA</subfield><subfield code="b">Information Science Reference</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 431 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Premier reference source</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hall e, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / G abor R etv ari ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Ga iti</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Autonomic computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cong-Vinh, Phan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-60960-845-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-60960-845-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-845-3</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044348830 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T06:37:57Z |
| institution | BVB |
| isbn | 9781609608460 9781609608477 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029751678 |
| oclc_num | 992495428 |
| open_access_boolean | |
| owner | DE-706 DE-573 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| owner_facet | DE-706 DE-573 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| physical | 1 Online-Ressource (xii, 431 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Information Science Reference |
| record_format | marc |
| series2 | Premier reference source |
| spelling | Formal and practical aspects of autonomic computing and networking specification, development, and verification Phan Cong-Vinh (NTT University, Vietnam) Hershey PA Information Science Reference [2012] © 2012 1 Online-Ressource (xii, 431 Seiten) txt rdacontent c rdamedia cr rdacarrier Premier reference source Includes bibliographical references 1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hall e, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / G abor R etv ari ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Ga iti "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher Autonomic computing Computer networks Formal methods (Computer science) (DE-588)4143413-4 Aufsatzsammlung gnd-content Cong-Vinh, Phan edt Erscheint auch als Druck-Ausgabe 978-1-60960-845-3 Erscheint auch als Druck-Ausgabe 1-60960-845-3 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Formal and practical aspects of autonomic computing and networking specification, development, and verification 1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hall e, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / G abor R etv ari ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Ga iti Autonomic computing Computer networks Formal methods (Computer science) |
| subject_GND | (DE-588)4143413-4 |
| title | Formal and practical aspects of autonomic computing and networking specification, development, and verification |
| title_auth | Formal and practical aspects of autonomic computing and networking specification, development, and verification |
| title_exact_search | Formal and practical aspects of autonomic computing and networking specification, development, and verification |
| title_full | Formal and practical aspects of autonomic computing and networking specification, development, and verification Phan Cong-Vinh (NTT University, Vietnam) |
| title_fullStr | Formal and practical aspects of autonomic computing and networking specification, development, and verification Phan Cong-Vinh (NTT University, Vietnam) |
| title_full_unstemmed | Formal and practical aspects of autonomic computing and networking specification, development, and verification Phan Cong-Vinh (NTT University, Vietnam) |
| title_short | Formal and practical aspects of autonomic computing and networking |
| title_sort | formal and practical aspects of autonomic computing and networking specification development and verification |
| title_sub | specification, development, and verification |
| topic | Autonomic computing Computer networks Formal methods (Computer science) |
| topic_facet | Autonomic computing Computer networks Formal methods (Computer science) Aufsatzsammlung |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-845-3 |
| work_keys_str_mv | AT congvinhphan formalandpracticalaspectsofautonomiccomputingandnetworkingspecificationdevelopmentandverification |