libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

porto antonio (curatore); roman gruia-catalin (curatore) - coordination languages and models

Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 08/2000
Edizione: 2000





Trama

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.




Sommario

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.










Altre Informazioni

ISBN:

9783540410201

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 233 x 155 mm
Formato: Brossura
Illustration Notes:IX, 355 p.
Pagine Arabe: 355
Pagine Romane: ix


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X