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 N5224b51429dc4a86bf5df8f838807b4e
    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 N7a77cd4d91a54118ae84cb9e755e0128
    24 schema:genre chapter
    25 schema:inLanguage en
    26 schema:isAccessibleForFree false
    27 schema:isPartOf Nd530550cc2084dae9a8c361989314777
    28 schema:name ASCENS: Engineering Autonomic Service-Component Ensembles
    29 schema:pagination 1-24
    30 schema:productId N6733ce1e8aca402aae587e9335b47b9b
    31 N8be13fb9cfd247ec84a491dea1913b3f
    32 Nfb2cb0f89d5e4a7eba592832e7e209d9
    33 schema:publisher N9ba1392f9e5543e2a06a6cc479513a66
    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 N71d445e710c34066913857be637812a5
    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 N09f46a6079d64430aa4b390a9b2963d5 schema:familyName de Boer
    44 schema:givenName Frank S.
    45 rdf:type schema:Person
    46 N20f1cd5e3dc941e2aa083ff036f1e996 schema:familyName Damiani
    47 schema:givenName Ferruccio
    48 rdf:type schema:Person
    49 N265bf441b2774bad8602447078945d50 schema:familyName Bonsangue
    50 schema:givenName Marcello M.
    51 rdf:type schema:Person
    52 N28927cefcda34e729cd2d61f12c67078 schema:familyName Beckert
    53 schema:givenName Bernhard
    54 rdf:type schema:Person
    55 N435b43f520af44b1b5b5094c7c8341ff rdf:first N265bf441b2774bad8602447078945d50
    56 rdf:rest rdf:nil
    57 N5224b51429dc4a86bf5df8f838807b4e rdf:first sg:person.010602274463.18
    58 rdf:rest Nd5f4cf400c3a426889b9c45c78ed6a5a
    59 N6733ce1e8aca402aae587e9335b47b9b schema:name doi
    60 schema:value 10.1007/978-3-642-35887-6_1
    61 rdf:type schema:PropertyValue
    62 N71d445e710c34066913857be637812a5 schema:name Springer Nature - SN SciGraph project
    63 rdf:type schema:Organization
    64 N7a77cd4d91a54118ae84cb9e755e0128 rdf:first N28927cefcda34e729cd2d61f12c67078
    65 rdf:rest N9ec7e8b96d024111a441b6770662c18d
    66 N8be13fb9cfd247ec84a491dea1913b3f schema:name dimensions_id
    67 schema:value pub.1021286910
    68 rdf:type schema:PropertyValue
    69 N91b0887b2f5a4829999406cf10505c55 rdf:first sg:person.013735041466.87
    70 rdf:rest rdf:nil
    71 N9ba1392f9e5543e2a06a6cc479513a66 schema:location Berlin, Heidelberg
    72 schema:name Springer Berlin Heidelberg
    73 rdf:type schema:Organisation
    74 N9ec7e8b96d024111a441b6770662c18d rdf:first N20f1cd5e3dc941e2aa083ff036f1e996
    75 rdf:rest Nb60a4af477814466806028d428e6a14c
    76 Nb60a4af477814466806028d428e6a14c rdf:first N09f46a6079d64430aa4b390a9b2963d5
    77 rdf:rest N435b43f520af44b1b5b5094c7c8341ff
    78 Nd530550cc2084dae9a8c361989314777 schema:isbn 978-3-642-35886-9
    79 978-3-642-35887-6
    80 schema:name Formal Methods for Components and Objects
    81 rdf:type schema:Book
    82 Nd5f4cf400c3a426889b9c45c78ed6a5a rdf:first sg:person.015322436152.80
    83 rdf:rest Ne2144e1011184ff48041c93143a659aa
    84 Ne2144e1011184ff48041c93143a659aa rdf:first sg:person.012051311303.91
    85 rdf:rest N91b0887b2f5a4829999406cf10505c55
    86 Nfb2cb0f89d5e4a7eba592832e7e209d9 schema:name readcube_id
    87 schema:value 656bf40a673365ad877bf8f9230e0c6bb44b739290d421d5d2723662069d3871
    88 rdf:type schema:PropertyValue
    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)


    ...