+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Theoretical Computer Science : 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Carlo Blundo

Theoretical Computer Science

8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings

By: Carlo Blundo (Editor), Cosimo Laneve (Editor)

Paperback Published: 29th September 2003
ISBN: 9783540202165
Number Of Pages: 400

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 10 to 15 business days

Earn 271 Qantas Points
on this Book

The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13-15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L'Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers, tofostercooperationandexchangeideasandresults.Itsmain topicsinclude: analysisanddesignofalgorithms, datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci?cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi?cation of Memory Usage), and G erard Boudol (On Programming Models for Mobility).

Extreme Nash Equilibriap. 1
Certification of Memory Usagep. 21
On Programming Models for Mobilityp. 22
On the Computational Complexity of Cut-Elimination in Linear Logicp. 23
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semanticsp. 37
Finite Horizon Analysis of Stochastic Systems with the Mur[phi] Verifierp. 58
Towards Compact and Tractable Automaton-Based Representations of Time Granularitiesp. 72
Lower Bounds on the Size of Quantum Automata Accepting Unary Languagesp. 86
Refined Effects for Unanticipated Object Re-classification: Fickle[subscript 3]p. 97
Cost Constrained Fixed Job Schedulingp. 111
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Setp. 125
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequalityp. 137
Channel Assignment in Honeycomb Networksp. 150
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networksp. 163
The Complexity of Checking Consistency of Pedigree Information and Related Problemsp. 174
On Clausal Equivalence and Hull Inclusionp. 188
Logical Semantics for the First Order [sigma]-Calculusp. 202
On the Expressive Power of Light Affine Logicp. 216
Reasoning about Self and Others: Communicating Agents in a Modal Action Logicp. 228
Decidability Properties of Recursive Typesp. 242
Algebraic Theories for Contextual Pre-netsp. 256
A Coalgebraic Description of Web Interactionsp. 271
A Calculus for Dynamic Linkingp. 284
Towards a Smart Compilation Manager for Javap. 302
Anonymous Group Communication in Mobile Networksp. 316
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequencesp. 329
An Information-Theoretic Approach to the Access Control Problemp. 342
Security-Aware Program Transformationsp. 355
Information Flow Security and Recursive Systemsp. 369
Compositional Verification of Secure Streamed Data: A Case Study with EMSSp. 383
Author Indexp. 397
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540202165
ISBN-10: 3540202161
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 400
Published: 29th September 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.16
Weight (kg): 0.58

Earn 271 Qantas Points
on this Book