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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|