Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)
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 BaezaYates, 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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)
Resource Information
The item 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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item 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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 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
 Language
 eng
 Extent
 XIV, 613 p.
 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
 BinPacking 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 ReadOnce 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 Cauchylike 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
 OneWay Permutations and SelfWitnessing 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 3Spanner on 2Trees
 Exact Complexity of ExactFourColorability 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 ObjectBased 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 NonBlocking Atomic Commit
 Combining Computational Effects: commutativity & sum
 OptimalReachability 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 PiCalculus Processes
 A Randomized Distributed Encoding of the PiCalculus 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
 Isbn
 9780387356082
 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 BaezaYates, Ugo Montanari, Nicola Santoro
 Subject

 Computer industry
 Computer science
 Computer science
 The Computing Profession
 Computer Science
 Computer Science
 Computer industry
 Computer Science, general
 Statistical Physics, Dynamical Systems and Complexity
 Electronic resources
 Information theory
 Information theory
 Computer Science
 Computer science
 Theory of Computation
 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
 http://library.link/vocab/creatorName
 BaezaYates, Ricardo
 Image bit depth
 0
 LC call number
 QA75.576.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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)
 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  BinPacking 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 ReadOnce 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 Cauchylike 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  OneWay Permutations and SelfWitnessing 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 3Spanner on 2Trees  Exact Complexity of ExactFourColorability 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 ObjectBased 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 NonBlocking Atomic Commit  Combining Computational Effects: commutativity & sum  OptimalReachability 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 PiCalculus Processes  A Randomized Distributed Encoding of the PiCalculus 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/9780387356082
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9780387356082
 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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)
 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  BinPacking 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 ReadOnce 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 Cauchylike 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  OneWay Permutations and SelfWitnessing 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 3Spanner on 2Trees  Exact Complexity of ExactFourColorability 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 ObjectBased 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 NonBlocking Atomic Commit  Combining Computational Effects: commutativity & sum  OptimalReachability 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 PiCalculus Processes  A Randomized Distributed Encoding of the PiCalculus 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/9780387356082
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9780387356082
Subject
 Computer Science
 Computer Science
 Computer Science
 Computer Science, general
 Computer industry
 Computer industry
 Computer science
 Computer science
 Computer science
 Electronic resources
 Information theory
 Information theory
 Statistical Physics, Dynamical Systems and Complexity
 The Computing Profession
 Theory of Computation
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/FoundationsofInformationTechnologyintheEra/8o8byhMZqIk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/FoundationsofInformationTechnologyintheEra/8o8byhMZqIk/">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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/FoundationsofInformationTechnologyintheEra/8o8byhMZqIk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/FoundationsofInformationTechnologyintheEra/8o8byhMZqIk/">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 BaezaYates, Ugo Montanari, Nicola Santoro, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>