ASCENS: Engineering Autonomic Service-Component Ensembles View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Martin Wirsing , Matthias Hölzl , Mirco Tribastone , Franco Zambonelli

ABSTRACT

Today’s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system’s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles. More... »

PAGES

1-24

References to SciGraph publications

  • 2008. Engineering of Software-Intensive Systems: State of the Art and Research Challenges in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2012. Stable Availability under Denial of Service Attacks through Formal Patterns in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2011. The Sensoria Development Environment in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2012. A Conceptual Framework for Adaptation in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2011. Runtime Verification of Component-Based Systems in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2011. Towards a System Model for Ensembles in FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS
  • 2011. Sensoria – Software Engineering for Service-Oriented Overlay Computers in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • Book

    TITLE

    Formal Methods for Components and Objects

    ISBN

    978-3-642-35886-9
    978-3-642-35887-6

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-35887-6_1

    DOI

    http://dx.doi.org/10.1007/978-3-642-35887-6_1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1021286910


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wirsing", 
            "givenName": "Martin", 
            "id": "sg:person.010602274463.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "H\u00f6lzl", 
            "givenName": "Matthias", 
            "id": "sg:person.015322436152.80", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322436152.80"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Tribastone", 
            "givenName": "Mirco", 
            "id": "sg:person.012051311303.91", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012051311303.91"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Modena and Reggio Emilia", 
              "id": "https://www.grid.ac/institutes/grid.7548.e", 
              "name": [
                "Department of Science and Engineering Methods, University of Modena and Reggio Emilia, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Zambonelli", 
            "givenName": "Franco", 
            "id": "sg:person.013735041466.87", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013735041466.87"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-28872-2_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001870749", 
              "https://doi.org/10.1007/978-3-642-28872-2_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-20401-2_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002340791", 
              "https://doi.org/10.1007/978-3-642-20401-2_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511550881.013", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003228462"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24690-6_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007538281", 
              "https://doi.org/10.1007/978-3-642-24690-6_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1992896.1992901", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028852985"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24933-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035098854", 
              "https://doi.org/10.1007/978-3-642-24933-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28872-2_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035771050", 
              "https://doi.org/10.1007/978-3-642-28872-2_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tsmc.1979.4310245", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036390125"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-20401-2_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040590979", 
              "https://doi.org/10.1007/978-3-642-20401-2_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-20401-2_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040590979", 
              "https://doi.org/10.1007/978-3-642-20401-2_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/bxr094", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059480293"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/32.685256", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061154434"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ecbs.2012.30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093339896"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sasow.2011.24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093571964"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/memcod.2011.5970518", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093805946"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/iros.2011.6094829", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094556284"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013", 
        "datePublishedReg": "2013-01-01", 
        "description": "Today\u2019s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system\u2019s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles.", 
        "editor": [
          {
            "familyName": "Beckert", 
            "givenName": "Bernhard", 
            "type": "Person"
          }, 
          {
            "familyName": "Damiani", 
            "givenName": "Ferruccio", 
            "type": "Person"
          }, 
          {
            "familyName": "de Boer", 
            "givenName": "Frank S.", 
            "type": "Person"
          }, 
          {
            "familyName": "Bonsangue", 
            "givenName": "Marcello M.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-35887-6_1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-35886-9", 
            "978-3-642-35887-6"
          ], 
          "name": "Formal Methods for Components and Objects", 
          "type": "Book"
        }, 
        "name": "ASCENS: Engineering Autonomic Service-Component Ensembles", 
        "pagination": "1-24", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-35887-6_1"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "656bf40a673365ad877bf8f9230e0c6bb44b739290d421d5d2723662069d3871"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1021286910"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-35887-6_1", 
          "https://app.dimensions.ai/details/publication/pub.1021286910"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T16:16", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8675_00000256.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-35887-6_1"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35887-6_1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35887-6_1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35887-6_1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35887-6_1'


     

    This table displays all metadata directly associated to this object as RDF triples.

    159 TRIPLES      23 PREDICATES      43 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-35887-6_1 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nf84fb5f775ab4805a79723a0c315412a
    4 schema:citation sg:pub.10.1007/978-3-540-89437-7_1
    5 sg:pub.10.1007/978-3-642-20401-2_1
    6 sg:pub.10.1007/978-3-642-20401-2_30
    7 sg:pub.10.1007/978-3-642-24690-6_15
    8 sg:pub.10.1007/978-3-642-24933-4_12
    9 sg:pub.10.1007/978-3-642-28872-2_17
    10 sg:pub.10.1007/978-3-642-28872-2_6
    11 https://doi.org/10.1017/cbo9780511550881.013
    12 https://doi.org/10.1093/comjnl/bxr094
    13 https://doi.org/10.1109/32.685256
    14 https://doi.org/10.1109/ecbs.2012.30
    15 https://doi.org/10.1109/iros.2011.6094829
    16 https://doi.org/10.1109/memcod.2011.5970518
    17 https://doi.org/10.1109/sasow.2011.24
    18 https://doi.org/10.1109/tsmc.1979.4310245
    19 https://doi.org/10.1145/1992896.1992901
    20 schema:datePublished 2013
    21 schema:datePublishedReg 2013-01-01
    22 schema:description Today’s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system’s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles.
    23 schema:editor N3e10e2ee6d0640cf92e648ff59112a2c
    24 schema:genre chapter
    25 schema:inLanguage en
    26 schema:isAccessibleForFree false
    27 schema:isPartOf N4155f506b663430a9a86c5eadaf3c4a5
    28 schema:name ASCENS: Engineering Autonomic Service-Component Ensembles
    29 schema:pagination 1-24
    30 schema:productId N4656261e96a5467bb9d5ef936e78937f
    31 N6fe513a159a24d849dbfab78bb242a58
    32 Ndbffd0584a6d4f9c92b4d33c22b5f237
    33 schema:publisher N9934a141c59c4bd0a075041764640b32
    34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021286910
    35 https://doi.org/10.1007/978-3-642-35887-6_1
    36 schema:sdDatePublished 2019-04-15T16:16
    37 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    38 schema:sdPublisher N2a57eb5a89be41e8a2b37bee3ebd3829
    39 schema:url http://link.springer.com/10.1007/978-3-642-35887-6_1
    40 sgo:license sg:explorer/license/
    41 sgo:sdDataset chapters
    42 rdf:type schema:Chapter
    43 N2a57eb5a89be41e8a2b37bee3ebd3829 schema:name Springer Nature - SN SciGraph project
    44 rdf:type schema:Organization
    45 N3e10e2ee6d0640cf92e648ff59112a2c rdf:first N6b2110798f9b474898ec22c31cf5662e
    46 rdf:rest N5917f7f616534d19a2ebe4514f640e7a
    47 N4155f506b663430a9a86c5eadaf3c4a5 schema:isbn 978-3-642-35886-9
    48 978-3-642-35887-6
    49 schema:name Formal Methods for Components and Objects
    50 rdf:type schema:Book
    51 N432e8ace4bea4b96a6f8b0851b3902a4 rdf:first sg:person.012051311303.91
    52 rdf:rest Nda947445928c432584f8ca6eb8980d07
    53 N4656261e96a5467bb9d5ef936e78937f schema:name dimensions_id
    54 schema:value pub.1021286910
    55 rdf:type schema:PropertyValue
    56 N496a36756fa5437aaecf187edfc594da rdf:first Na29402afaa794a2083b3f3013ee923a7
    57 rdf:rest rdf:nil
    58 N5917f7f616534d19a2ebe4514f640e7a rdf:first Ne9ed037f76df4968aa2c37dee74c4821
    59 rdf:rest Nde4d857ac8b648248d78cc7a3479c64d
    60 N6b2110798f9b474898ec22c31cf5662e schema:familyName Beckert
    61 schema:givenName Bernhard
    62 rdf:type schema:Person
    63 N6fe513a159a24d849dbfab78bb242a58 schema:name doi
    64 schema:value 10.1007/978-3-642-35887-6_1
    65 rdf:type schema:PropertyValue
    66 N71cc8d853fc544edb56b43a70050db8b rdf:first sg:person.015322436152.80
    67 rdf:rest N432e8ace4bea4b96a6f8b0851b3902a4
    68 N9934a141c59c4bd0a075041764640b32 schema:location Berlin, Heidelberg
    69 schema:name Springer Berlin Heidelberg
    70 rdf:type schema:Organisation
    71 Na29402afaa794a2083b3f3013ee923a7 schema:familyName Bonsangue
    72 schema:givenName Marcello M.
    73 rdf:type schema:Person
    74 Nd990b013404b46a3989c2ad711d22e69 schema:familyName de Boer
    75 schema:givenName Frank S.
    76 rdf:type schema:Person
    77 Nda947445928c432584f8ca6eb8980d07 rdf:first sg:person.013735041466.87
    78 rdf:rest rdf:nil
    79 Ndbffd0584a6d4f9c92b4d33c22b5f237 schema:name readcube_id
    80 schema:value 656bf40a673365ad877bf8f9230e0c6bb44b739290d421d5d2723662069d3871
    81 rdf:type schema:PropertyValue
    82 Nde4d857ac8b648248d78cc7a3479c64d rdf:first Nd990b013404b46a3989c2ad711d22e69
    83 rdf:rest N496a36756fa5437aaecf187edfc594da
    84 Ne9ed037f76df4968aa2c37dee74c4821 schema:familyName Damiani
    85 schema:givenName Ferruccio
    86 rdf:type schema:Person
    87 Nf84fb5f775ab4805a79723a0c315412a rdf:first sg:person.010602274463.18
    88 rdf:rest N71cc8d853fc544edb56b43a70050db8b
    89 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Information and Computing Sciences
    91 rdf:type schema:DefinedTerm
    92 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    93 schema:name Computer Software
    94 rdf:type schema:DefinedTerm
    95 sg:person.010602274463.18 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    96 schema:familyName Wirsing
    97 schema:givenName Martin
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18
    99 rdf:type schema:Person
    100 sg:person.012051311303.91 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    101 schema:familyName Tribastone
    102 schema:givenName Mirco
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012051311303.91
    104 rdf:type schema:Person
    105 sg:person.013735041466.87 schema:affiliation https://www.grid.ac/institutes/grid.7548.e
    106 schema:familyName Zambonelli
    107 schema:givenName Franco
    108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013735041466.87
    109 rdf:type schema:Person
    110 sg:person.015322436152.80 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    111 schema:familyName Hölzl
    112 schema:givenName Matthias
    113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322436152.80
    114 rdf:type schema:Person
    115 sg:pub.10.1007/978-3-540-89437-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039389334
    116 https://doi.org/10.1007/978-3-540-89437-7_1
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-3-642-20401-2_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002340791
    119 https://doi.org/10.1007/978-3-642-20401-2_1
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/978-3-642-20401-2_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040590979
    122 https://doi.org/10.1007/978-3-642-20401-2_30
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/978-3-642-24690-6_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007538281
    125 https://doi.org/10.1007/978-3-642-24690-6_15
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/978-3-642-24933-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035098854
    128 https://doi.org/10.1007/978-3-642-24933-4_12
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/978-3-642-28872-2_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001870749
    131 https://doi.org/10.1007/978-3-642-28872-2_17
    132 rdf:type schema:CreativeWork
    133 sg:pub.10.1007/978-3-642-28872-2_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035771050
    134 https://doi.org/10.1007/978-3-642-28872-2_6
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1017/cbo9780511550881.013 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003228462
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1093/comjnl/bxr094 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059480293
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1109/32.685256 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154434
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1109/ecbs.2012.30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093339896
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1109/iros.2011.6094829 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094556284
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1109/memcod.2011.5970518 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093805946
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1109/sasow.2011.24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093571964
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.1109/tsmc.1979.4310245 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036390125
    151 rdf:type schema:CreativeWork
    152 https://doi.org/10.1145/1992896.1992901 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028852985
    153 rdf:type schema:CreativeWork
    154 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    155 schema:name Institut für Informatik, Ludwig-Maximilians-Universität München, Germany
    156 rdf:type schema:Organization
    157 https://www.grid.ac/institutes/grid.7548.e schema:alternateName University of Modena and Reggio Emilia
    158 schema:name Department of Science and Engineering Methods, University of Modena and Reggio Emilia, Italy
    159 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...