Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings / Edition 1

Hardcover (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $87.95
Usually ships in 1-2 business days
(Save 31%)
Other sellers (Hardcover)
  • All (9) from $87.95   
  • New (7) from $87.95   
  • Used (2) from $128.99   

More About This Textbook


This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010.
The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions. TCS 2010 deals with topics focused at but not limited to algorithms, complexity, models of computation, logic, semantics, specification and verification, power-awareness issues in wireless networks, data mining, knowledge discovery, multiprocessor issues as well as AI issues.

Read More Show Less

Product Details

Table of Contents

Convexity, Duality and Effects (Invited Talk) Bart Jacobs 1

A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks (Invited Talk) Lucia Gallina Sabina Rossi 20

The Coarsest Precongruences Respecting Safety and Liveness Properties (Invited Talk) Robert Jan van Glabbeek 32

Entropy and Attack Models in Information Flow (Invited Talk) Mário S. Alvim Miguel E. Andrés Catuscia Palamidessi 53

Safe Equivalences for Security Properties Mário S. Alvim Miguel E. Andrés Catuscia Palamidessi Peter van Rossum 55

On Probabilistic Alternating Simulations Chenyi Zhang Jun Pang 71

Probabilistic Mobility Models for Mobile and Wireless Networks Lei Song Jens Chr. Godskesen 86

On Packing Splittable Items with Cardinality Constraints Fouad B. Chedid 101

Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility Arnaud Casteigts Paola Flocchini Bernard Mans Nicola Santoro 111

Slicing Behavior Tree Models for Verification Nisansala Yatapanage Kirsten Winter Saad Zafar 125

Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction Darko Brodic 140

Online Dictionary Matching for Streams of XML Documents Panu Silvasti Seppo Sippu Eljas Soisalon-Soininen 153

The Duality of Computation under Focus Pierre-Louis Curien Guillaume Munch-Maccagnoni 165

Polarized Resolution Modulo Gilles Dowek 182

A Logic on Subobjects and Recognizability H.J. Sander Bruggink Barbara Krönig 197

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles Mark Kaminski Gert Smolka 213

Proof System for Applied Pi Calculus Jia Liu Huimin Lin 229

Concurrent Pattern Calculus Thomas Given-Wilson Daniele Gorla Barry Jay 244

Initial Segment Complexities of Randomness Notions Rupert Hölzl Thorsten Kräling Frank Stephan Guohua Wu 259

Topologies Refining the Cantor Topology on Xω Sibylle Schwarz Ludwig Staiger 271

On Symbolic Representations of Maximum Matchings and (Un) directed Graphs Beate Bollig 286

Traceable Sets Rupert Hölzl Wolfgang Merkle 301

Approximating the Non-contiguous Multiple Organization Packing Problem Marin Bougeret Pierre Francois Dutot Klaus Jansen Christina Otte Denis Trystram 316

Improving the Competitive Ratios of the Seat Reservation Problem Shuichi Miyazaki Kazuya Okamoto 328

A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis Michele Boreale David Clark Daniele Gorla 340

A Game-Theoretic Approach to Routing under Adversarial Conditions James Gross Frank G. Radmacher Wolfgang Thomas 355

An Operational Model for Multiprocessors with Caches Salil Joshi Sanjiva Prasad 371

Author Index 387

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)