X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • 1
    Online-Ressource
    Online-Ressource
    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
    Umfang: IX, 355 p. , online resource.
    ISBN: 9783540452638
    Serie: Lecture Notes in Computer Science, 1906
    Inhalt: 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.
    Anmerkung: 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
    Weitere Ausg.: Printed edition: ISBN 9783540410201
    Sprache: Englisch
    DOI: 10.1007/3-540-45263-X
    URL: http://dx.doi.org/10.1007/3-540-45263-X
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 2
    Online-Ressource
    Online-Ressource
    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
    Umfang: IX, 355 p. , online resource.
    Ausgabe: 1st ed. 2000.
    ISBN: 9783540452638
    Serie: Lecture Notes in Computer Science, 1906
    Inhalt: 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.
    Anmerkung: 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
    Weitere Ausg.: Printed edition: ISBN 9783662187883
    Weitere Ausg.: Printed edition: ISBN 9783540410201
    Sprache: Englisch
    DOI: 10.1007/3-540-45263-X
    URL: https://doi.org/10.1007/3-540-45263-X
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 3
    Online-Ressource
    Online-Ressource
    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
    Umfang: Online-Ressource
    ISBN: 9783540452638 , 3540410201
    Serie: Lecture Notes in Computer Science 1906
    Inhalt: 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
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540410201
    Weitere Ausg.: Buchausg. u.d.T. Coordination languages and models Berlin : Springer, 2000 ISBN 3540410201
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): 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
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540452683?
Meinten Sie 9783540405238?
Meinten Sie 9783540212638?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz