Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress TC1 Stream / 2nd IFIP Internatio [Paperback]

Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks:

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

This volume contains 45 original and significant 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 Montr?al, Qu?bec, Canada in August 2002.Power of Quantum Entanglement.- Information Networks, Link Analysis, and Temporal Dynamics.- Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs.- Bin-Packing with Fragile Objects.- Lower and Upper Bounds for Tracking Mobile Users.- On the Enumerability of the Determinant and the Rank.- On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks.- Parity Graph, driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.- Computability of Linear Equations.- Hierarchy Among Automata on Linear Orderings.- Symmetric Connectivity with Minimum Power Consumption in Radio Networks.- A Modified Recursive Triangular Factorization for Cauchy-like Systems.- Algorithmic Complexity of Protein Identification: Searching in Weighted Strings.- An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.- Randomized Dining Philosophers without Fairness Assumption.- Guarding Galleries and Terrains.- Gossiping with Unit Messages in Known Radio Networks.- Memoryless Search Algorithms in a Network with Faulty Advice.- Lower Bounds and the Hardness of Counting Properties.- Framework for Analyzing Garbage Collection.- One-Way PermutalÃS