000			03033nam a22003855i 4500
001			299536
003			MX-SnUAN
005			20160429155552.0
007			cr nn 008mamaa
008			150903s2009 gw | o |||| 0|eng d
020			_a9783642009457 _99783642009457
024	7		_a10.1007/9783642009457 _2doi
035			_avtls000352991
039		9	_a201509030926 _bVLOAD _c201405060313 _dVLOAD _y201402180933 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.758
100	1		_aKaklamanis, Christos. _eeditor. _9334299
245	1	0	_aTrustworthy Global Computing : _b4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers / _cedited by Christos Kaklamanis, Flemming Nielson.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2009.
300			_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 ; _v5474
500			_aSpringer eBooks
505	0		_aContract-Driven Implementation of Choreographies -- Model Checking Usage Policies -- Bounds on the Leakage of the Input’s Distribution in Information-Hiding Protocols -- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces -- Provably Correct Implementations of Services -- A Process Calculus Analysis of Compensations -- Structured Communications with Concurrent Constraints -- Type Systems for Bigraphs -- On the Relative Expressive Power of Ambient-Based Calculi -- Connectivity in Multi-interface Networks -- Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations -- Trust Management and Trust Negotiation in an Extension of SQL -- Dynamic Recovering of Long Running Transactions.
520			_aThis book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aNielson, Flemming. _eeditor. _9323618
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783642009440
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-00945-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c299536 _d299536