Coverart for item
The Resource Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems, Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan (eds.)

Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems, Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan (eds.)

Label
Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems
Title
Transactions on computational science XV
Title remainder
special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems
Statement of responsibility
Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan (eds.)
Title variation
Transactions on computational science 15
Contributor
Subject
Genre
Language
eng
Summary
Annotation The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for autonomic computing
Member of
Cataloging source
GW5XE
Dewey number
004.072
Index
index present
LC call number
QA76.27
LC item number
.T73 2012
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Gavrilova, Marina L
  • Tan, C. J. Kenneth
  • Phan, Cong-Vinh
Series statement
Lecture notes in computer science,
Series volume
7050
http://library.link/vocab/subjectName
  • Computer science
  • Formal methods (Computer science)
  • Natural computation
  • Informatique
  • Natural computation
  • Computer science
  • Formal methods (Computer science)
Label
Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems, Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks
  • Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks
  • Data Intensive Distributed Computing in Data Aware Self-organizing Networks
  • Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks
  • Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL
  • A Distributed MARF Case Study
  • Autonomic Nature-Inspired Eco-systems
  • A Logical Approach to Data-Aware Automated Sequence Generation
Control code
778672650
Dimensions
unknown
Extent
1 online resource (x, 216 pages).
File format
unknown
Form of item
online
Isbn
9783642285257
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-3-642-28525-7
  • 9783642285240
http://library.link/vocab/ext/overdrive/overdriveId
3642285244
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)778672650
Label
Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems, Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks
  • Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks
  • Data Intensive Distributed Computing in Data Aware Self-organizing Networks
  • Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks
  • Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL
  • A Distributed MARF Case Study
  • Autonomic Nature-Inspired Eco-systems
  • A Logical Approach to Data-Aware Automated Sequence Generation
Control code
778672650
Dimensions
unknown
Extent
1 online resource (x, 216 pages).
File format
unknown
Form of item
online
Isbn
9783642285257
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-3-642-28525-7
  • 9783642285240
http://library.link/vocab/ext/overdrive/overdriveId
3642285244
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)778672650

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...