Coverart for item
The Resource Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada, edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro, (electronic resource)

Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada, edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro, (electronic resource)

Label
Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
Title
Foundations of Information Technology in the Era of Network and Mobile Computing
Title remainder
IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
Statement of responsibility
edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Baeza-Yates, Ricardo
Image bit depth
0
LC call number
QA75.5-76.95
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Montanari, Ugo.
  • Santoro, Nicola.
  • SpringerLink
Series statement
IFIP — The International Federation for Information Processing,
Series volume
96
http://library.link/vocab/subjectName
  • Computer science
  • Information theory
  • Computer industry
  • Computer Science
  • Theory of Computation
  • The Computing Profession
  • Statistical Physics, Dynamical Systems and Complexity
  • Computer Science, general
Label
Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada, edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 Permutations and Self-Witnessing Languages -- Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function -- On Randomness and Infinity -- Server Placements, Roman Domination and other Dominating Set Variants -- A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees -- Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections -- Quantum NP and Quantum Hierarchy -- Probabilistically Checkable Proofs the Easy Way -- XML Web Services: The Global Computer? -- Micro Mobile Programs -- Checking Polynomial Time Complexity with Types -- Boundary Inference for Enforcing Security Policies in Mobile Ambients -- Decidability and Tractability of Problems in Object-Based Graph Grammars -- Coverage of Implementations by Simulating Specifications -- TQL Algebra and its Implementation -- Model Checking Birth and Death -- Phantom Types and Subtyping -- On the Weakest Failure Detector for Non-Blocking Atomic Commit -- Combining Computational Effects: commutativity & sum -- Optimal-Reachability and Control for Acyclic Weighted Timed Automata -- Substructural Verification and Computational Feasibility -- An Improved System of Intersection Types for Explicit Substitutions -- About Compositional Analysis of Pi-Calculus Processes -- A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice -- On Reduction Semantics for the Push and Pull Ambient Calculus -- Safe Dynamic Binding in the Join Calculus -- Vectorial Languages and Linear Temporal Logic -- A Bound on Attacks on Authentication Protocols -- Responsive Bisimulation -- Author Index
Dimensions
unknown
Extent
XIV, 613 p.
File format
multiple file formats
Form of item
electronic
Isbn
9780387356082
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-0-387-35608-2
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-0-387-35608-2
Label
Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada, edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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 Permutations and Self-Witnessing Languages -- Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function -- On Randomness and Infinity -- Server Placements, Roman Domination and other Dominating Set Variants -- A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees -- Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections -- Quantum NP and Quantum Hierarchy -- Probabilistically Checkable Proofs the Easy Way -- XML Web Services: The Global Computer? -- Micro Mobile Programs -- Checking Polynomial Time Complexity with Types -- Boundary Inference for Enforcing Security Policies in Mobile Ambients -- Decidability and Tractability of Problems in Object-Based Graph Grammars -- Coverage of Implementations by Simulating Specifications -- TQL Algebra and its Implementation -- Model Checking Birth and Death -- Phantom Types and Subtyping -- On the Weakest Failure Detector for Non-Blocking Atomic Commit -- Combining Computational Effects: commutativity & sum -- Optimal-Reachability and Control for Acyclic Weighted Timed Automata -- Substructural Verification and Computational Feasibility -- An Improved System of Intersection Types for Explicit Substitutions -- About Compositional Analysis of Pi-Calculus Processes -- A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice -- On Reduction Semantics for the Push and Pull Ambient Calculus -- Safe Dynamic Binding in the Join Calculus -- Vectorial Languages and Linear Temporal Logic -- A Bound on Attacks on Authentication Protocols -- Responsive Bisimulation -- Author Index
Dimensions
unknown
Extent
XIV, 613 p.
File format
multiple file formats
Form of item
electronic
Isbn
9780387356082
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-0-387-35608-2
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-0-387-35608-2

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...