Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: Software Engineering for Collective Autonomic Systems The ASCENS Approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Main Entry: Wirsing, Martin. editor.
Hölzl, Matthias. editor.
Koch, Nora. editor.
Mayer, Philip. editor.
SpringerLink (Online service)
Publisher: Springer International Publishing : Imprint: Springer,
Publication Date: 2015.
Publication Place: Cham :
ISBN: 9783319163109
Subject: Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
computer logic.
Mathematical logic.
Artificial intelligence.
Computer science.
Software engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Series: Lecture Notes in Computer Science, 8998
Lecture notes in computer science, 8998
Contents: The SCEL Language: Design, Implementation, Verification -- Reconfigurable and Software-Defined Networks of Connectors and Components -- Correctness of Service Components and Service Component Ensembles -- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation -- From Local to Global Knowledge and Back -- Knowledge Representation for Adaptive and Self-aware Systems -- Reasoning and Learning for Awareness and Adaptation -- Supporting Performance Awareness in Autonomous Ensembles -- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems -- Methodological Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features -- The Invariant Refinement Method -- The ASCENS Case Studies: Results and Common Aspects -- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms -- The Autonomic Cloud -- The E-mobility Case Study.
Related Records: Springer eBooks
Printed edition: 9783319163093
Cover Image: http://images.amazon.com/images/P/9783319163109.jpg

Results 1 - 1 of 1
  Agency: Collection: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources No Circulation Available Online -710478 Book