X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11 - 13, 2000 ; proceedings (2000)
    Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London :Springer,
    Details
    UID:
    almafu_BV013315603
    Format: IX, 352 S. : Ill.
    ISBN: 3-540-41020-1
    Series Statement: Lecture notes in computer science 1906
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Verteiltes System ; Koordination ; Programmiersprache ; Systementwicklung ; Konferenzschrift ; Konferenzschrift
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    URL: Cover
    Author information: Porto, António 1952-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    FU Berlin get availability status
    UB Potsdam get availability status
  • 2
    Online Resource
    Online Resource
    Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings (2000)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9947920715602882
    Format: IX, 355 p. , online resource.
    ISBN: 9783540452638
    Series Statement: Lecture Notes in Computer Science, 1906
    Content: 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.
    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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540410201
    Language: English
    DOI: 10.1007/3-540-45263-X
    URL: http://dx.doi.org/10.1007/3-540-45263-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings (2000)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621816002882
    Format: IX, 355 p. , online resource.
    Edition: 1st ed. 2000.
    ISBN: 9783540452638
    Series Statement: Lecture Notes in Computer Science, 1906
    Content: 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.
    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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662187883
    Additional Edition: Printed edition: ISBN 9783540410201
    Language: English
    DOI: 10.1007/3-540-45263-X
    URL: https://doi.org/10.1007/3-540-45263-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings (2000)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649245300
    Format: Online-Ressource
    ISBN: 9783540452638 , 3540410201
    Series Statement: Lecture Notes in Computer Science 1906
    Content: This book constitutes the refereed proceedings of the 4th International Conference on Coordination Languages and Models, COORDINATION 2000, held in Limassol, Cyprus in September 2000. The 18 revised full papers and nine short papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on coordination styles and trends, tuple space semantics and implementation, coordination policies, dynamics of coordination, mobility, semantic models, shifting Linda perspectives, directions in software architecture, achieving software dependability
    Note: Literaturangaben
    Additional Edition: ISBN 9783540410201
    Additional Edition: Buchausg. u.d.T. Coordination languages and models Berlin : Springer, 2000 ISBN 3540410201
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Verteiltes System ; Nebenläufigkeit ; Koordination ; Programmiersprache ; Konferenzschrift
    DOI: 10.1007/3-540-45263-X
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 5
    Book
    Book
    Coordination languages and models : 4th international conference, coordination 2000, Limassol, Cyprus, September 11 - 13, 2000 ; proceedings (2000)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB12472943
    Format: IX, 352 Seiten , graph. Darst. , 24 cm
    Edition: 1
    ISBN: 3540410201
    Series Statement: Lecture notes in computer science Vol. 1906
    Note: Literaturangaben , Text engl.
    Language: English
    Keywords: Verteiltes System ; Nebenläufigkeit ; Koordination ; Programmiersprache ; Kongress ; Limassol 〈2000〉 ; Verteiltes System ; Nebenläufigkeit ; Koordinationssprache ; Kongress ; Limassol 〈2000〉 ; Kongress ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
  • 6
    Book
    Book
    Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11 - 13, 2000 ; proceedings (2000)
    Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London : Springer
    Details
    UID:
    b3kat_BV013315603
    Format: IX, 352 S. , Ill.
    ISBN: 3540410201
    Series Statement: Lecture notes in computer science 1906
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Verteiltes System ; Koordination ; Programmiersprache ; Systementwicklung ; Konferenzschrift
    Author information: Porto, António 1952-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    TU Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540310501?
Did you mean 9783540400301?
Did you mean 9783540210221?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages