Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Cristian S. Calude

    1. Department of Computer Science, University of Auckland, Auckland, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vladimiro Sassone

    1. School of Electronics and Computer Science, University of Southampton, Southampton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceeding
  • Unique visibility
  • State of the art research

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 323)

Included in the following conference series:

Conference proceedings info: TCS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Convexity, Duality and Effects

    • Bart Jacobs
    Pages 1-19

  3. A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks

    • Lucia Gallina, Sabina Rossi
    Pages 20-31

  4. The Coarsest Precongruences Respecting Safety and Liveness Properties

    • Robert Jan van Glabbeek
    Pages 32-52

  5. Entropy and Attack Models in Information Flow

    • Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
    Pages 53-54

  6. Safe Equivalences for Security Properties

    • Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
    Pages 55-70

  7. On Probabilistic Alternating Simulations

    • Chenyi Zhang, Jun Pang
    Pages 71-85

  8. Probabilistic Mobility Models for Mobile and Wireless Networks

    • Lei Song, Jens Chr. Godskesen
    Pages 86-100

  9. On Packing Splittable Items with Cardinality Constraints

    • Fouad B. Chedid
    Pages 101-110

  10. Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

    • Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro
    Pages 111-124

  11. Slicing Behavior Tree Models for Verification

    • Nisansala Yatapanage, Kirsten Winter, Saad Zafar
    Pages 125-139

  12. Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction

    • Darko Brodić
    Pages 140-152

  13. Online Dictionary Matching for Streams of XML Documents

    • Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen
    Pages 153-164

  14. The Duality of Computation under Focus

    • Pierre-Louis Curien, Guillaume Munch-Maccagnoni
    Pages 165-181

  15. Polarized Resolution Modulo

    • Gilles Dowek
    Pages 182-196

  16. A Logic on Subobjects and Recognizability

    • H. J. Sander Bruggink, Barbara König
    Pages 197-212

  17. Terminating Tableaux for \(\mathcal{SOQ}\) with Number Restrictions on Transitive Roles

    • Mark Kaminski, Gert Smolka
    Pages 213-228

  18. Proof System for Applied Pi Calculus

    • Jia Liu, Huimin Lin
    Pages 229-243

  19. Concurrent Pattern Calculus

    • Thomas Given-Wilson, Daniele Gorla, Barry Jay
    Pages 244-258

  20. Initial Segment Complexities of Randomness Notions

    • Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
    Pages 259-270
Back to top

Other volumes

  1. Theoretical Computer Science

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Auckland, Auckland, New Zealand

    Cristian S. Calude

  • School of Electronics and Computer Science, University of Southampton, Southampton, UK

    Vladimiro Sassone

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation