Foundations of Information Technology in the Era of Network and Mobile Computing

Ifip 17th World Computer Congress Tc1 Stream / 2nd Ifip Internationa

By: Ricardo Baeza-Yates, Yates, R. Baeza-Yates

Write A Review

Hardcover | 31 July 2002

At a Glance

Hardcover
632 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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 radical 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, this text is presented in two distinct but inter-related tracks: algorithms, complexity and models of computation and logic, semantics, specification and verification. This volume contains 45 contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Communications Engineering & Telecommunications WAP & Wireless Technology Computing & I.T.Computer Networking & Communications WAP Networking & Applications Information Technology General Issue Computer Programming & Software Development Algorithms & Data Structures Computer Science

Mathematical Theory of Computation Industrial Chemistry & Manufacturing Technologies

Preface	p. ix
External Referees	p. xiii
Algorithms, Complexity and Models of Computation	p. 1
Invited Papers
Power of Quantum Entanglement	p. 3
Information Networks, Link Analysis, and Temporal Dynamics	p. 23
Contributed Papers
Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs	p. 26
Bin-Packing with Fragile Objects	p. 38
Lower and Upper Bounds for Tracking Mobile Users	p. 47
On the Enumerability of the Determinant and the Rank	p. 59
On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks	p. 71
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication	p. 83
Computability of Linear Equations	p. 95
Hierarchy Among Automata on Linear Orderings	p. 107
Symmetric Connectivity with Minimum Power Consumption in Radio Networks	p. 119
A Modified Recursive Triangular Factorization for Cauchy-like Systems	p. 131
Algorithmic Complexity of Protein Identification: Searching in Weighted Strings	p. 143
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem	p. 157
Randomized Dining Philosophers without Fairness Assumption	p. 169
Guarding Galleries and Terrains	p. 181
Gossiping with Unit Messages in Known Radio Networks	p. 193
Memoryless Search Algorithms in a Network with Faulty Advice	p. 206
Lower Bounds and the Hardness of Counting Properties	p. 217
Framework for Analyzing Garbage Collection	p. 230
One-Way Permutations and Self-Witnessing Languages	p. 243
Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function	p. 255
On Randomness and Infinity	p. 267
Server Placements, Roman Domination and other Dominating Set Variants	p. 280
A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees	p. 292
Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections	p. 310
Quantum NP and Quantum Hierarchy	p. 323
Probabilistically Checkable Proofs the Easy Way	p. 337
Logic, Semantics, Specification and Verification	p. 353
Invited Papers
XML Web Services: The Global Computer?	p. 355
Micro Mobile Programs	p. 356
Contributed Papers
Checking Polynomial Time Complexity with Types	p. 370
Boundary Inference for Enforcing Security Policies in Mobile Ambients	p. 383
Decidability and Tractability of Problems in Object-Based Graph Grammars	p. 396
Coverage of Implementations by Simulating Specifications	p. 409
TQL Algebra and its Implementation	p. 422
Model Checking Birth and Death	p. 435
Phantom Types and Subtyping	p. 448
On the Weakest Failure Detector for Non-Blocking Atomic Commit	p. 461
Combining Computational Effects: commutativity & sum	p. 474
Optimal-Reachability and Control for Acyclic Weighted Timed Automata	p. 485
Substructural Verification and Computational Feasibility	p. 498
An Improved System of Intersection Types for Explicit Substitutions	p. 511
About Compositional Analysis of Pi-Calculus Processes	p. 524
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice	p. 537
On Reduction Semantics for the Push and Pull Ambient Calculus	p. 550
Safe Dynamic Binding in the Join Calculus	p. 563
Vectorial Languages and Linear Temporal Logic	p. 576
A Bound on Attacks on Authentication Protocols	p. 588
Responsive Bisimulation	p. 601
Author Index	p. 613
Table of Contents provided by Ingram. All Rights Reserved.

Foundations of Information Technology in the Era of Network and Mobile Computing

Ifip 17th World Computer Congress Tc1 Stream / 2nd Ifip Internationa

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Industrial Chemistry & Manufacturing Technologies

Mary Penfold

The true story of the great Australian winemaker, from the bestselling award-winning author of SISTER VIV and MR AND MRS GOULD

Baked to Perfection

Winner of the Fortnum & Mason Food and Drink Awards 2022

Longitude

The Food Lab

Better Home Cooking Through Science

Professional Beauty Therapy

4th Edition - Australia and New Zealand

The Art of Distilling : Revised and Updated

An Enthusiast's Guide to the Artisan Distilling of Whiskey, Vodka, Gin and other Potent Potables

Ferment For Good

Ancient Foods for the Modern Gut: The Slowest Kind of Fast Food

French Pâtisserie

Master Recipes and Techniques from the Ferrandi School of Culinary Arts

Energy-Based Safety

A Scientific Approach to Preventing Serious Injuries and Fatalities (SIFs)

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Overcoming Synthetic Challenges in Medicinal Chemistry

Mechanistic Insights and Solutions

Applied Design Research

The Societal Impact

Applied Design Research

The Societal Impact

Nanomedicine and Applications in Cancer

A Complete Guide to Nanomedicine and Cancer Applications

Medicinal Compounds in Modern Healthcare

From Tradition to Innovation

The Playbook for Leading Change

Proven Strategies for Success

The Playbook for Leading Change

Proven Strategies for Success

Fuel Cells in Environmental Sustainability

Workplace Environmental Factors

Lighting, Noise, and Vibration

Same Problems, Same Opportunities

Why Leadership Still Matters

The Science and Culture of Latin American Foods

Harnessing Ingredients for Health

Better Not Burn Your Toast

The Science of Food and Health

Plant Proteins

Farm to Table

Chemical Looping Processes

Fundamentals, Current Status, and Future Perspectives

This product is categorised by