Vista normal Vista MARC Vista ISBD

Distributed Applications and Interoperable Systems [recurso electrónico] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Frank Eliassen, Rüdiger Kapitza.

Por: Eliassen, Frank [editor.].
Colaborador(es): Kapitza, Rüdiger [editor.] | SpringerLink (Online service).
Tipo de material: materialTypeLabelLibroSeries Lecture Notes in Computer Science: 6115Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: XIV, 243p. 98 illus. online resource.Tipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642136450.Tema(s): Computer science | Operating systems (Computers) | Computer Communication Networks | Software engineering | Information storage and retrieval systems | Information systems | Computer Science | Computer Communication Networks | Software Engineering | Information Systems Applications (incl.Internet) | User Interfaces and Human Computer Interaction | Information Storage and Retrieval | Performance and ReliabilityFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 004.6 Recursos en línea: Libro electrónico
Contenidos:
Ubiquitous Services and Applications -- RESTful Integration of Heterogeneous Devices in Pervasive Environments -- Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems -- Grid Computing -- Validating Evolutionary Algorithms on Volunteer Computing Grids -- A Reconfiguration Language for Virtualized Grid Infrastructures -- Sensor Networks -- Distributed Object-Oriented Programming with RFID Technology -- WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet -- Context Awareness -- Structured Context Prediction: A Generic Approach -- Service Orientation -- Experiments in Model Driven Composition of User Interfaces -- Service Discovery in Ubiquitous Feedback Control Loops -- Distributed Fault Tolerant Controllers -- QoS Self-configuring Failure Detectors for Distributed Systems -- Distributed Fault Tolerant Controllers -- Cloud and Cluster Computing -- Automatic Software Deployment in the Azure Cloud -- G2CL: A Generic Group Communication Layer for Clustered Applications -- Adaptive and (Re)configurable Systems -- Dynamic Composition of Cross-Organizational Features in Distributed Software Systems -- Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices -- Collaborative Systems -- gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay -- Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search.
En: Springer eBooksResumen: In2010theInternationalFederatedConferenceonDistributedComputingTe- niques (DisCoTec) tookplacein Amsterdam,during June 7-9. It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and servicesthatarerelatedtothelatesttrendstowardsbridgingthephysical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. On the ?rst day Joe Armstrong (Eri- son Telecom AB) gave a keynote speech on Erlang-style concurrency, and on the second day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the question “Formal Software Veri?cation: How Close Are We?”. On the third and last day Joost Roelands (Director of Development Netlog) presented the problem area of distributed social data.
    valoración media: 0.0 (0 votos)
Tipo de ítem Ubicación actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos TK5105.5 -5105.9 (Navegar estantería) 1 No para préstamo 374550-2001

Ubiquitous Services and Applications -- RESTful Integration of Heterogeneous Devices in Pervasive Environments -- Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems -- Grid Computing -- Validating Evolutionary Algorithms on Volunteer Computing Grids -- A Reconfiguration Language for Virtualized Grid Infrastructures -- Sensor Networks -- Distributed Object-Oriented Programming with RFID Technology -- WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet -- Context Awareness -- Structured Context Prediction: A Generic Approach -- Service Orientation -- Experiments in Model Driven Composition of User Interfaces -- Service Discovery in Ubiquitous Feedback Control Loops -- Distributed Fault Tolerant Controllers -- QoS Self-configuring Failure Detectors for Distributed Systems -- Distributed Fault Tolerant Controllers -- Cloud and Cluster Computing -- Automatic Software Deployment in the Azure Cloud -- G2CL: A Generic Group Communication Layer for Clustered Applications -- Adaptive and (Re)configurable Systems -- Dynamic Composition of Cross-Organizational Features in Distributed Software Systems -- Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices -- Collaborative Systems -- gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay -- Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search.

In2010theInternationalFederatedConferenceonDistributedComputingTe- niques (DisCoTec) tookplacein Amsterdam,during June 7-9. It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and servicesthatarerelatedtothelatesttrendstowardsbridgingthephysical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. On the ?rst day Joe Armstrong (Eri- son Telecom AB) gave a keynote speech on Erlang-style concurrency, and on the second day Gerard Holzmann (Jet Propulsion Laboratory, USA) discussed the question “Formal Software Veri?cation: How Close Are We?”. On the third and last day Joost Roelands (Director of Development Netlog) presented the problem area of distributed social data.

19

Con tecnología Koha

// {lang: 'es-ES'} //