Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22-27 August 2004 Toulouse, France

Overview

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction ...

See more details below
Paperback (Softcover reprint of the original 1st ed. 2004)
$164.15
BN.com price
(Save 17%)$199.00 List Price
Other sellers (Paperback)
  • All (5) from $146.83   
  • New (4) from $146.83   
  • Used (1) from $208.67   
Sending request ...

Overview

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks. In addition, mobile computing (referring specifically to wireless devices and, more broadly, to dynamically configured systems) has made it possible to exploit interaction in novel ways. To harness the flexibility and power of these rapidly evolving, interactive systems, there is need of radically new foundational ideas and principles; there is need to develop the theoretical foundations required to design these systems and to cope with the many complex issues involved in their construction; and there is need to develop effective principles for building and analyzing such systems.

Reflecting the diverse and wide spectrum of topics and interests within the theoretical computer science community, Exploring New Frontiers of Theoretical Informatics, is presented in two distinct but interrelated tracks:

-Algorithms, Complexity and Models of Computation,
-Logic, Semantics, Specification and Verification.

Exploring New Frontiers of Theoretical Informatics contains 46 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 3rd IFIP International Conference on Theoretical Computer Science (TCS 2004), which was held in conjunction with the 18th World Computer Congress in Toulouse, France in August 2004 and sponsored by the International Federation for Information Processing (IFIP).

Read More Show Less

Product Details

Table of Contents

The tPI (tRNA pairing index), a mathematical measure of repetition in a (biological) sequence 1
Stability of approximation in discrete optimization 3
Towards a broader theory of mobile processes 19
A decidable analysis of security protocols 21
Looking inside AES and BES 23
Remove key escrow from the identity-based encryption system 37
A randomised algorithm for checking the normality of cryptographic boolean functions 51
Reversible circuit realizations of boolean functions 67
Resource bounded immunity and simplicity 81
Degree bounds on polynomials and relativization theory 97
The firing squad synchronization problem with many generals for one-dimensional CA 111
A matrix q-analogue of the Parikh map 125
The inherent queuing delay of parallel packet switches 139
Efficient protocols for computing the optimal swap edges of a shortest path tree 153
Truthful mechanisms for generalized utilitarian problems 167
The driving philosophers 181
Engineering an external memory minimum spanning tree algorithm 195
Scheduling with release times and deadlines on a minimum number of machines 209
Approximation algorithms for mixed fractional packing and covering problems 223
On weighted rectangle packing with large resources 237
An O(nlog[superscript 2]n) algorithm for the optimal sink location problem in dynamic tree networks 251
Efficient algorithms for handling molecular weighted sequences 265
Imperfectness of data for STS-based physical mapping 279
Solving packing problem with weaker block solvers 293
Adaptive sorting with AVL trees 307
Precise analysis of [pi]-calculus in cubic time 317
Prototyping proof carrying code 333
Contract oriented development of component software 349
New insights on architectural connectors 367
On complexity of model-checking for the TQL logic 381
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata 395
Tailoring recursion to characterize non-deterministic complexity classes over arbitrary structures 409
A calculus with lazy module operators 423
Dynamic typing with dependent types 437
Subtyping-inheritance conflicts : the mobile mixin case 451
Asymptotic behaviors of type-2 algorithms and induced Baire topologies 465
Effective chemistry for synchrony and asynchrony 479
Controller synthesis for probabilistic systems 493
Highly undecidable questions for process algebras 507
New-HOPLA : a higher-order process language with name generation 521
Behavioural equivalences for dynamic Web data 535
Behavioural theory for mobile ambients 549
Nested commits for mobile calculi : extending join 563
Dynamic and local typing for mobile ambients 577
PolyA : true type polymorphism for mobile ambients 591
Recovering resources in the [pi]-calculus 605
Ensuring termination by typability 619
The simply-typed pure pattern type system ensures strong normalization 633
Termination in modal Kleene algebra 647
Regular tree language recognition with static information 661
Read More Show Less

Customer Reviews

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

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com 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 & Noble.com 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 & Noble.com 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 BN.com 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

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com 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 BN.com. 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)