000			04975nam a22005295i 4500
001			u374975
003			SIRSI
005			20160812084301.0
007			cr nn 008mamaa
008			100807s2010 gw | s |||| 0|eng d
020			_a9783642152405 _9978-3-642-15240-5
040			_cMX-MeUAM
050		4	_aQA76.9.A43
082	0	4	_a005.1 _223
100	1		_aCalude, Cristian S. _eeditor.
245	1	0	_aTheoretical Computer Science _h[recurso electrónico] : _b6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / _cedited by Cristian S. Calude, Vladimiro Sassone.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aXII, 388 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v323
505	0		_aConvexity, Duality and Effects -- A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks -- The Coarsest Precongruences Respecting Safety and Liveness Properties -- Entropy and Attack Models in Information Flow -- Safe Equivalences for Security Properties -- On Probabilistic Alternating Simulations -- Probabilistic Mobility Models for Mobile and Wireless Networks -- On Packing Splittable Items with Cardinality Constraints -- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility -- Slicing Behavior Tree Models for Verification -- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction -- Online Dictionary Matching for Streams of XML Documents -- The Duality of Computation under Focus -- Polarized Resolution Modulo -- A Logic on Subobjects and Recognizability -- Terminating Tableaux for with Number Restrictions on Transitive Roles -- Proof System for Applied Pi Calculus -- Concurrent Pattern Calculus -- Initial Segment Complexities of Randomness Notions -- Topologies Refining the Cantor Topology on X ? -- On Symbolic Representations of Maximum Matchings and (Un)directed Graphs -- Traceable Sets -- Approximating the Non-contiguous Multiple Organization Packing Problem -- Improving the Competitive Ratios of the Seat Reservation Problem -- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis -- A Game-Theoretic Approach to Routing under Adversarial Conditions -- An Operational Model for Multiprocessors with Caches.
520			_aThisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World Computer Congress held in Brisbane, Australia, during September 20–23, 2010 ( ). TCS 2010 is composed of two main areas: (A) Algorithms, Complexity and Models of Computation, and (B) Logic, Semantics, Speci?cation and Veri?cation. The selection process led to the acceptance of 23 papers out of 39 submissions, eachofwhichwasreviewedbythreeProgrammeCommitteemembers.TheProgramme Committee discussion was held electronically using Easychair. The invited speakers at TCS 2010 are: Rob van Glabbeek (NICTA, Australia) Bart Jacobs (Nijmegen, The Netherlands) Catuscia Palamidessi (INRIA and LIX, Paris, France) Sabina Rossi (Venice, Italy) James Harland (Australia) and Barry Jay (Australia) acted as TCS 2010 Chairs. We take this occasion to thank the members of the Programme Committees and the external reviewers for the professional and timely work; the conference Chairs for their support; the invited speakers for their scholarly contribution; and of course the authors for submitting their work to TCS 2010.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aComputer software.
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputer Communication Networks.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aSassone, Vladimiro. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642152399
830		0	_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v323
856	4	0	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-15240-5
596			_a19
942			_cLIBRO_ELEC
999			_c202855 _d202855