Global Computing [electronic resource] :IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers / edited by Corrado Priami, Paola Quaglia.
by Priami, Corrado [editor.]; Quaglia, Paola [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3267Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: VIII, 369 p. Also available online. online resource.ISBN: 9783540317944.Subject(s): Computer science | Computer Communication Networks | Software engineering | Operating systems (Computers) | Logic design | Artificial intelligence | Computer Science | Software Engineering | Computer Communication Networks | Programming Techniques | Operating Systems | Artificial Intelligence (incl. Robotics) | Logics and Meanings of ProgramsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Reliable Software Technology – Ada-Europe 2005 | QA76.758 FM 2005: Formal Methods | QA76.758 Satellite Events at the MoDELS 2005 Conference | QA76.758 Global Computing | QA76.758 UML Modeling Languages and Applications | QA76.758 Parallel Computing Technologies | QA76.758 Shared Memory Parallel Programming with Open MP |
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.
This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in March 2004. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. Among the topics covered are programming environments, dynamic reconfiguration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility.
There are no comments for this item.