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] ] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Jean-Marie Jacquet, Mieke Massink
| Coordination Models and Languages [[electronic resource] ] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Jean-Marie Jacquet, Mieke Massink |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 279 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Application software Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) |
| ISBN | 3-319-59746-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Languages and tools -- Types -- Resource, components and information flow -- Verification. |
| Record Nr. | UNISA-996466278403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Jean-Marie Jacquet, Mieke Massink
| Coordination Models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Jean-Marie Jacquet, Mieke Massink |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 279 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Application software Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) |
| ISBN | 3-319-59746-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Languages and tools -- Types -- Resource, components and information flow -- Verification. |
| Record Nr. | UNINA-9910484227103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco
| Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 004/.35 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Computers Artificial intelligence Software Engineering Computer Communication Networks Programming Techniques Computation by Abstract Devices Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space -- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach -- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision -- Global Computing in a Dynamic Network of Tuple Spaces -- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems -- Preserving Architectural Properties in Multithreaded Code Generation -- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages -- Synchronized Hyperedge Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications -- Tagged Sets: A Secure and Transparent Coordination Medium -- Time-Aware Coordination in ReSpecT -- Transactional Aspects in Semantic Based Discovery of Services. |
| Record Nr. | UNISA-996465802303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||