LEADER 03621nam  22006855  450 
001 996465771403316
005 20230406052815.0
024 7 $a10.1007/b103251
035   $a(CKB)1000000000212632
035   $a(SSID)ssj0000317960
035   $a(PQKBManifestationID)11212472
035   $a(PQKBTitleCode)TC0000317960
035   $a(PQKBWorkID)10308262
035   $a(PQKB)11553255
035   $a(DE-He213)978-3-540-31794-4
035   $a(MiAaPQ)EBC3067876
035   $a(PPN)123090466
035   $a(EXLCZ)991000000000212632
100   $a20100715d2005      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aGlobal Computing$b[electronic resource] $eIST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /$fedited by Corrado Priami, Paola Quaglia
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (VIII, 376 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3267
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$aPrinted edition: 9783540241010 
327   $aSymbolic 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3267
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer programming
606   $aOperating systems (Computers)
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aProgramming Techniques
606   $aOperating Systems
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aOperating systems (Computers).
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aOperating Systems.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aPriami$b Corrado$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aQuaglia$b Paola$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465771403316
996   $aGlobal Computing$9772725
997   $aUNISA