skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: R Baeza-Yates; U Montanari; N Santoro
Publisher: Boston : Kluwer Academic Publishers, [2002] ©2002
Series: International Federation for Information Processing (Series), 96.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
IFIP World Computer Congress (17th : 2002 : Montréal, Québec).
Foundations of information technology in the era of network and mobile computing
(DLC) 2002026736
(OCoLC)50123543
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: R Baeza-Yates; U Montanari; N Santoro
ISBN: 9780387356082 0387356088
OCLC Number: 861705471
Description: 1 online resource (xiv, 612 pages) : illustrations.
Contents: Preface --
External Referees --
Track 1: Algorithms, Complexity and Models of Computation --
Invited Papers --
Power of Quantum Entanglement / Jozef Gruska, Hiroshi Imai, Keiji Matsumoto --
Information Networks, Link Analysis, and Temporal Dynamics / Jon Kleinberg --
Contributed Papers --
Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs / Jochen Alber, Jiri Fiala --
Bin-Packing with Fragile Objects / Nikhil Bansal, Zhen Liu, Arvind Sankar --
Lower and Upper Bounds for Tracking Mobile Users / S. Bespamyatnikh, B. Bhattacharya, D. Kirkpatrick, M. Segal --
On the Enumerability of the Determinant and the Rank / Alina Beygelzimer, Mitsunori Ogihara --
On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks / Douglas M. Blough, Mauro Leoncini, Giovanni Resta, Paolo Santi --
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication / Beate Bollig, Stephan Waack, Philipp Woelfel --
Computability of Linear Equations / Vasco Brattka, Martin Ziegler --
Hierarchy Among Automata on Linear Orderings / Vronique Bruyere, Olivier Carton --
Symmetric Connectivity with Minimum Power Consumption in Radio Networks / G. Calinescu, I.I. Mandoiu, A. Zelikovsky --
A Modified Recursive Triangular Factorization for Cauchy-like Systems / Z. Chen --
Algorithmic Complexity of Protein Identification: Searching in Weighted Strings / M. Cieliebak, T. Erlebach, Z. Liptak, J. Stoye, E. Welzl --
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem / Alessandro Dal Palu, Enrico Pontelli, Desh Ranjan --
Randomized Dining Philosophers without Fairness Assumption / Marie Duflot, Laurent Fribourg, Claudine Picaronny --
Guarding Galleries and Terrains / Alon Efrat, Sariel Har-Peled --
Gossiping with Unit Messages in Known Radio Networks / Leszek Gasieniec, Igor Potapov --
Memoryless Search Algorithms in a Network with Faulty Advice / N. Hanusse, D. Kavvadias, E. Kranakis, D. Krizane --
Lower Bounds and the Hardness of Counting Properties / Lane A. Hemaspaandra, Mayur Thakur --
Framework for Analyzing Garbage Collection / Matthew Hertz, Neil Immerman, J Eliot B Moss --
One-Way Permutations and Self-Witnessing Languages / Christopher M. Homan, Mayur Thakur --
Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function / Klaus Jansen, Hu Zhang --
On Randomness and Infinity / Gregory Lafitte --
Server Placements, Roman Domination and other Dominating Set Variants / A. Pagourtzis, P. Penna, K. Schlude, K. Steinhofel, D. Taylor, P. Widmayer --
A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees / B.S. Panda, Sajal K. Das --
Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections / Joerg Rothe, Holger Spakowski, Joerg Vogel --
Quantum NP and Quantum Hierarchy / Tomoyuki Yamakami --
Probabilistically Checkable Proofs the Easy Way / Marius Zimand --
Track 2: Logic, Semantics, Specification and Verification --
Invited Papers --
XML Web Services: The Global Computer? / Andrew Gordon --
Micro Mobile Programs / Carl Gunter --
Contributed Papers --
Checking Polynomial Time Complexity with Types / Patrick Baillot --
Boundary Inference for Enforcing Security Policies in Mobile Ambients / Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel --
Decidability and Tractability of Problems in Object-Based Graph Grammars / Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani --
Coverage of Implementations by Simulating Specifications / Hana Chockler, Orna Kupferman --
TQL Algebra and its Implementation / Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli --
Model Checking Birth and Death / Dino Distefano, Arend Rensink, Joost-Pieter Katoen --
Phantom Types and Subtyping / Matthew Fluet, Riccardo Pucella --
On the Weakest Failure Detector for Non-Blocking Atomic Commit / Rachid Guerraoui, Petr Kouznetsov --
Combining Computational Effects: commutativity & sum / Martin Hyland, Gordon Plotkin, John Power --
Optimal-Reachability and Control for Acyclic Weighted Timed Automata / Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano --
Substructural Verification and Computational Feasibility / Daniel Leivant --
An Improved System of Intersection Types for Explicit Substitutions / Dan Dougherty, Stephane Lengrand, Pierre Lescanne --
About Compositional Analysis of Pi-Calculus Processes / Fabio Martinelli --
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice / Catuscia Palamidessi, Oltea Milhaela Herescu --
On Reduction Semantics for the Push and Pull Ambient Calculus / C.C. Phillips, M.G. Vigliotti --
Safe Dynamic Binding in the Join Calculus / Alan Schmitt --
Vectorial Languages and Linear Temporal Logic / Olivier Serre --
A Bound on Attacks on Authentication Protocols / Scott D. Stoller --
Responsive Bisimulation Xiaogang Zhang, John Potter --
Author Index.
Series Title: International Federation for Information Processing (Series), 96.
Responsibility: edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro.
More information:

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/861705471> # 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
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "861705471" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/973089> ; # Information technology
    schema:about <http://id.worldcat.org/fast/1024221> ; # Mobile computing
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/192555328#Topic/computer_networks> ; # Computer networks
    schema:about <http://experiment.worldcat.org/entity/work/data/192555328#Topic/information_technology> ; # Information technology
    schema:about <http://id.worldcat.org/fast/872297> ; # Computer networks
    schema:about <http://experiment.worldcat.org/entity/work/data/192555328#Topic/mobile_computing> ; # Mobile computing
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/40722209> ; # Ugo Montanari
    schema:contributor <http://experiment.worldcat.org/entity/work/data/192555328#Meeting/tcs_2002_2002_montreal_quebec> ; # TCS 2002 (2002 : Montréal, Québec)
    schema:contributor <http://viaf.org/viaf/104441790> ; # Nicola Santoro
    schema:contributor <http://viaf.org/viaf/44468294> ; # Ricardo Baeza-Yates
    schema:creator <http://experiment.worldcat.org/entity/work/data/192555328#Meeting/ifip_world_computer_congress_17th_2002_montreal_quebec> ; # IFIP World Computer Congress (17th : 2002 : Montréal, Québec)
    schema:datePublished "2002" ;
    schema:description "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 Montral, Qubec, Canada in August 2002."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/192555328> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/192555328#Series/ifip> ; # IFIP ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/192555328#Series/international_federation_for_information_processing_series> ; # International Federation for Information Processing (Series) ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/50123543> ;
    schema:name "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"@en ;
    schema:productID "861705471" ;
    schema:url <http://dx.doi.org/10.1007/978-0-387-35608-2> ;
    schema:url <http://link.springer.com/10.1007/978-0-387-35608-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-7181-2> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-0-387-35608-2> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy033/2002026736.html> ;
    schema:workExample <http://dx.doi.org/10.1007/978-0-387-35608-2> ;
    schema:workExample <http://worldcat.org/isbn/9780387356082> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/861705471> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/192555328#Meeting/ifip_world_computer_congress_17th_2002_montreal_quebec> # IFIP World Computer Congress (17th : 2002 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/192555328#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "IFIP World Computer Congress (17th : 2002 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/192555328#Meeting/tcs_2002_2002_montreal_quebec> # TCS 2002 (2002 : Montréal, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/192555328#Place/montreal_quebec> ; # Montréal, Québec)
    schema:name "TCS 2002 (2002 : Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/192555328#Place/montreal_quebec> # Montréal, Québec)
    a schema:Place ;
    schema:name "Montréal, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/192555328#Series/ifip> # IFIP ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/861705471> ; # 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
    schema:name "IFIP ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/192555328#Series/international_federation_for_information_processing_series> # International Federation for Information Processing (Series) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/861705471> ; # 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
    schema:name "International Federation for Information Processing (Series) ;" ;
    .

<http://id.worldcat.org/fast/1024221> # Mobile computing
    a schema:Intangible ;
    schema:name "Mobile computing"@en ;
    .

<http://id.worldcat.org/fast/872297> # Computer networks
    a schema:Intangible ;
    schema:name "Computer networks"@en ;
    .

<http://id.worldcat.org/fast/973089> # Information technology
    a schema:Intangible ;
    schema:name "Information technology"@en ;
    .

<http://link.springer.com/10.1007/978-0-387-35608-2>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/104441790> # Nicola Santoro
    a schema:Person ;
    schema:birthDate "1951" ;
    schema:familyName "Santoro" ;
    schema:givenName "Nicola" ;
    schema:givenName "N." ;
    schema:name "Nicola Santoro" ;
    .

<http://viaf.org/viaf/40722209> # Ugo Montanari
    a schema:Person ;
    schema:familyName "Montanari" ;
    schema:givenName "Ugo" ;
    schema:givenName "U." ;
    schema:name "Ugo Montanari" ;
    .

<http://viaf.org/viaf/44468294> # Ricardo Baeza-Yates
    a schema:Person ;
    schema:familyName "Baeza-Yates" ;
    schema:givenName "Ricardo" ;
    schema:givenName "R." ;
    schema:name "Ricardo Baeza-Yates" ;
    .

<http://worldcat.org/isbn/9780387356082>
    a schema:ProductModel ;
    schema:isbn "0387356088" ;
    schema:isbn "9780387356082" ;
    .

<http://www.worldcat.org/oclc/50123543>
    a schema:CreativeWork ;
    rdfs:label "Foundations of information technology in the era of network and mobile computing" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/861705471> ; # 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
    .

<http://www.worldcat.org/title/-/oclc/861705471>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/861705471> ; # 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
    schema:dateModified "2018-02-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.