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.
Coordination Models and Languages [[electronic resource] ] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / / edited by Paolo Ciancarini, Herbert Wiklicky
| Coordination Models and Languages [[electronic resource] ] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / / edited by Paolo Ciancarini, Herbert Wiklicky |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 299 p.) |
| Disciplina | 004/.35 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Software engineering Special purpose computers Computer programming Computers Computer System Implementation Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Programming Techniques Computation by Abstract Devices |
| ISBN | 3-540-34695-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
| Record Nr. | UNISA-996465524503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / / Paolo Ciancarini, Herbert Wiklicky (eds.)
| Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / / Paolo Ciancarini, Herbert Wiklicky (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (VIII, 299 p.) |
| Disciplina | 004/.35 |
| Altri autori (Persone) |
CiancariniPaolo <1959->
WiklickyHerbert |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing |
| ISBN | 3-540-34695-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
| Altri titoli varianti | COORDINATION 2006 |
| Record Nr. | UNINA-9910483546103321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Dynamical Systems [[electronic resource] ] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Dynamical Systems [[electronic resource] ] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 181 p. 49 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Bioinformatics Computers Software Engineering Logics and Meanings of Programs Computational Biology/Bioinformatics Computation by Abstract Devices |
| ISBN | 3-642-38874-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. |
| Record Nr. | UNISA-996465837303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 181 p. 49 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Bioinformatics Computers Software Engineering Logics and Meanings of Programs Computational Biology/Bioinformatics Computation by Abstract Devices |
| ISBN | 3-642-38874-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. |
| Record Nr. | UNINA-9910483693203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Quantitative Aspects of Programming Languages [[electronic resource] ] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Quantitative Aspects of Programming Languages [[electronic resource] ] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (VII, 169 p. 31 illus.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Immunology Antibodies Mathematical logic Programming languages (Electronic computers) Software Engineering Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-38722-X
9786613565143 3-642-13678-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff. |
| Record Nr. | UNISA-996465848603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||