Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Priami, Corrado (Editor ), Quaglia, Paola (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3267
Temas:
Software engineering.
Computer networks .
Computer programming.
Operating systems (Computers).
Artificial intelligence.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Operating Systems.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Symbolic Equivalences for Open Systems
  • Specifying and Verifying UML Activity Diagrams Via Graph Transformation
  • Mobile UML Statecharts with Localities
  • Communities: Concept-Based Querying for Mobile Services
  • Towards a Formal Treatment of Secrecy Against Computational Adversaries
  • For-LySa: UML for Authentication Analysis
  • Performance Analysis of a UML Micro-business Case Study
  • Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks
  • The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
  • A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
  • A Generic Membrane Model (Note)
  • A Framework for Structured Peer-to-Peer Overlay Networks
  • Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
  • A Physics-Style Approach to Scalability of Distributed systems
  • BGP-Based Clustering for Scalable and Reliable Gossip Broadcast
  • Trust Lifecycle Management in a Global Computing Environment
  • The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
  • The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

Ejemplares similares