000 | 03363nam a22003855i 4500 | ||
---|---|---|---|
001 | 295088 | ||
003 | MX-SnUAN | ||
005 | 20160429155213.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2005 gw | o |||| 0|eng d | ||
020 |
_a9783540317944 _99783540317944 |
||
024 | 7 |
_a10.1007/b103251 _2doi |
|
035 | _avtls000347923 | ||
039 | 9 |
_a201509030228 _bVLOAD _c201405070454 _dVLOAD _y201402070943 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.758 | |
100 | 1 |
_aPriami, Corrado. _eeditor. _9328906 |
|
245 | 1 | 0 |
_aGlobal Computing : _bIST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers / _cedited by Corrado Priami, Paola Quaglia. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005. |
|
300 |
_aviii, 369 páginas Also available online. _brecurso en línea. |
||
336 |
_atexto _btxt _2rdacontent |
||
337 |
_acomputadora _bc _2rdamedia |
||
338 |
_arecurso en línea _bcr _2rdacarrier |
||
347 |
_aarchivo de texto _bPDF _2rda |
||
490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v3267 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _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. | |
520 | _aThis 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. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aQuaglia, Paola. _eeditor. _9329241 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783540241010 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b103251 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c295088 _d295088 |