top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe
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
Opac: Controlla la disponibilità qui