Coordination Models and Languages [[electronic resource] ] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / / edited by Alberto Lluch Lafuente, José Proença |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 279 p. 83 illus.) |
Disciplina | 005.12 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Programming languages (Electronic computers) Algorithms Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity |
ISBN | 3-319-39519-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multilevel Transitive and Intransitive Non-Interference, Causally -- A Game Interpretation of Retractable Contracts -- Where Do Your IoT Ingredients Come from? -- Tuple Spaces Implementations and Their Efficiency -- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination -- Scheduling Games for Concurrent Systems -- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations -- Modelling Ambulance Deployment with CARMA -- On Synchronous and Asynchronous Compatibility of Communicating Components -- A Semantic Theory of the Internet of Things -- A Formal Analysis of the Global Sequence Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic Deployment of Distributed Active Objects -- An Interference-Free Programming Model for Network Objects -- On Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight. |
Record Nr. | UNISA-996465712203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / / edited by Alberto Lluch Lafuente, José Proença |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIV, 279 p. 83 illus.) |
Disciplina | 005.12 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Programming languages (Electronic computers) Algorithms Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity |
ISBN | 3-319-39519-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multilevel Transitive and Intransitive Non-Interference, Causally -- A Game Interpretation of Retractable Contracts -- Where Do Your IoT Ingredients Come from? -- Tuple Spaces Implementations and Their Efficiency -- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination -- Scheduling Games for Concurrent Systems -- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations -- Modelling Ambulance Deployment with CARMA -- On Synchronous and Asynchronous Compatibility of Communicating Components -- A Semantic Theory of the Internet of Things -- A Formal Analysis of the Global Sequence Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic Deployment of Distributed Active Objects -- An Interference-Free Programming Model for Network Objects -- On Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight. |
Record Nr. | UNINA-9910484361903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Aspects of Component Software [[electronic resource] ] : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 251 p. 58 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Mathematical logic Computer logic Algorithms Computers Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity The Computing Profession |
ISBN | 3-319-68034-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component-Based Modeling in Mediator -- A Component-oriented Framework for Autonomous Agents -- Coordination of Dynamic Software Components with JavaBIP -- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache -- Guarded Terms for Rewriting Modulo SMT -- On Weighted Configuration Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking -- TOM: a Model-Based GUI Testing Framework -- Correctness-by-learning of Infinite-state Component-based Sytems -- The Implementation of Object Propositions: the Oprop Verification Tool -- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services -- Fault Localization in Service Compositions -- Correct Composition of Dephased Behavioural Models. |
Record Nr. | UNISA-996465547803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 251 p. 58 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Mathematical logic Computer logic Algorithms Computers Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity The Computing Profession |
ISBN | 3-319-68034-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component-Based Modeling in Mediator -- A Component-oriented Framework for Autonomous Agents -- Coordination of Dynamic Software Components with JavaBIP -- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache -- Guarded Terms for Rewriting Modulo SMT -- On Weighted Configuration Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking -- TOM: a Model-Based GUI Testing Framework -- Correctness-by-learning of Infinite-state Component-based Sytems -- The Implementation of Object Propositions: the Oprop Verification Tool -- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services -- Fault Localization in Service Compositions -- Correct Composition of Dephased Behavioural Models. |
Record Nr. | UNINA-9910483677903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|