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 Languages and Models [[electronic resource] ] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman
| Coordination Languages and Models [[electronic resource] ] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 004/.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computers Artificial intelligence Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Computation by Abstract Devices Software Engineering Artificial Intelligence |
| ISBN | 3-540-45263-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces -- Scripting Coordination Styles -- Coordination Technology for Workflows on the Web: Workspaces -- Regular Papers -- A Principled Semantics for inp -- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces -- On Timed Coordination Languages -- Regular Papers -- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach -- Distributed Splitting of Constraint Satisfaction Problems -- Law-Governed Internet Communities -- Regular Papers -- Reconfiguration of Software Architecture Styles with Name Mobility -- An Agent Mediated Approach to Dynamic Change in Coordination Policies -- Coordination Models for Dynamic Resource Allocation -- Regular Papers -- MobileML: A Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents Coordination in Mobadtl -- Regular Papers -- A Logical Interface Description Language for Components -- A Formalization of the IWIM Model -- GCCS: A Graphical Coordination Language for System Specification -- Short papers -- A Timed Linda Language -- The LuCe Coordination Technology for MAS Design and Development on the Internet -- Scoped Coordination in Open Distributed Systems -- Short papers -- Patterns for Coordination -- Coordination Models and Software Architectures in a Unified Software Development Process -- Wilde: Supporting Change in Groupware -- Short papers -- On the Verification of Coordination -- Guaranteing Coherent Software Systems when Composing Coordinated Components -- Coordination-Based Design of Distributed Systems. |
| Record Nr. | UNISA-996465388603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman
| Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (IX, 355 p.) |
| Disciplina | 004/.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computers Artificial intelligence Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Computation by Abstract Devices Software Engineering Artificial Intelligence |
| ISBN | 3-540-45263-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces -- Scripting Coordination Styles -- Coordination Technology for Workflows on the Web: Workspaces -- Regular Papers -- A Principled Semantics for inp -- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces -- On Timed Coordination Languages -- Regular Papers -- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach -- Distributed Splitting of Constraint Satisfaction Problems -- Law-Governed Internet Communities -- Regular Papers -- Reconfiguration of Software Architecture Styles with Name Mobility -- An Agent Mediated Approach to Dynamic Change in Coordination Policies -- Coordination Models for Dynamic Resource Allocation -- Regular Papers -- MobileML: A Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents Coordination in Mobadtl -- Regular Papers -- A Logical Interface Description Language for Components -- A Formalization of the IWIM Model -- GCCS: A Graphical Coordination Language for System Specification -- Short papers -- A Timed Linda Language -- The LuCe Coordination Technology for MAS Design and Development on the Internet -- Scoped Coordination in Open Distributed Systems -- Short papers -- Patterns for Coordination -- Coordination Models and Software Architectures in a Unified Software Development Process -- Wilde: Supporting Change in Groupware -- Short papers -- On the Verification of Coordination -- Guaranteing Coherent Software Systems when Composing Coordinated Components -- Coordination-Based Design of Distributed Systems. |
| Record Nr. | UNINA-9910143619903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / / edited by Wolfgang De Meuter, Gruia-Catalin Roman
| Coordination Models and Languages [[electronic resource] ] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / / edited by Wolfgang De Meuter, Gruia-Catalin Roman |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 219 p. 69 illus., 18 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer communication systems Computers Application software Software Engineering Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Models and Principles Information Systems Applications (incl. Internet) |
| ISBN | 3-642-21464-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465628803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the Eighteenth Acm Sigsoft International Symposium on Foundations of Software Engineering
| Proceedings of the Eighteenth Acm Sigsoft International Symposium on Foundations of Software Engineering |
| Autore | Roman Gruia-Catalin |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2010 |
| Descrizione fisica | 1 online resource (302 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | FSE '10 |
| Record Nr. | UNINA-9910376028103321 |
Roman Gruia-Catalin
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research
| Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research |
| Autore | Roman Gruia-Catalin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (448 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the Future of Software Engineering/Software Design and Productivity Workshop on Future of Software Engineering Research
SIGSOFT/FSE'10 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-18), Santa Fe, NM, USA - November 07 - 11, 2010 |
| Record Nr. | UNINA-9910376028703321 |
|
Roman Gruia-Catalin
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||