TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings 
T2  - IFIP Advances in Information and Communication Technology,
SN  - 9783642152405
AV  - Libro electrónico 
U1  - 005.1 23
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Computer software
KW  - Logic design
KW  - Computer Science
KW  - Algorithm Analysis and Problem Complexity
KW  - Logics and Meanings of Programs
KW  - Computation by Abstract Devices
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
N1  - Convexity, 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; ZDB-2-SCS
UR  - http://dx.doi.org/10.1007/978-3-642-15240-5
ER  -