Coordination Languages and Models (Record no. 189205)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05264nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-45263-8 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132551.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2000 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540452638 |
| -- | 978-3-540-45263-8 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/3-540-45263-X |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.6-76.66 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.11 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Coordination Languages and Models |
| Medium | [electronic resource] : |
| Remainder of title | 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / |
| Statement of responsibility, etc | edited by Antonio Porto, Gruia-Catalin Roman. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2000. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2000. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | IX, 355 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 1906 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer networks . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Porto, Antonio. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Roman, Gruia-Catalin. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540410201 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662187883 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 1906 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-45263-X">https://doi.org/10.1007/3-540-45263-X</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.