rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: SOFSEM 2009: Theory and Practice of Computer Science
    sub title: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
  name:
    name part: Nielsen, Mogens.
    role:
      role term: editor.
  name:
    name part: Kučera, Antonín.
    role:
      role term: editor.
  name:
    name part: Miltersen, Peter Bro.
    role:
      role term: editor.
  name:
    name part: Palamidessi, Catuscia.
    role:
      role term: editor.
  name:
    name part: Tůma, Petr.
    role:
      role term: editor.
  name:
    name part: Valencia, Frank.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2009
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVII, 670 p. online resource.
  abstract: This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.
  table of contents: Invited Talks -- A New Analysis of Expected Revenue -- Can Component/Service-Based Systems Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification of Heap Manipulation Using Separation Logic -- Technology Diffusion in Social Networks -- Service Oriented Architecture Pitfalls -- Algorithms for Solving Infinite Games -- Randomness and Determination, from Physics and Computing towards Biology -- When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures -- Regular Papers -- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems -- Framed Versus Unframed Two-Dimensional Languages -- Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes -- The Shortcut Problem – Complexity and Approximation -- Green Computing: Energy Consumption Optimized Service Hosting -- On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem -- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems -- Epistemic Strategies and Games on Concurrent Processes -- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures -- On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay -- Time and Fairness in a Process Algebra with Non-blocking Reading -- Expressiveness of Multiple Heads in CHR -- Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes -- A Framework for Mutant Genetic Generation for WS-BPEL -- Implementing Services by Partial State Machines -- Pattern Matching with Swaps for Short Patterns in Linear Time -- Automatic Bug Detection in Microcontroller Software by Static Program Analysis -- On the Unification of Process Semantics: Observational Semantics -- Factoring and Testing Primes in Small Space -- Adaptive Incentive-Compatible Sponsored Search Auction -- Semantically-Aided Data-Aware Service Workflow Composition -- Increasing Machine S…
  note: edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia.
  subject:
    topic: Computer science
  subject:
    topic: Computer system failures
  subject:
    topic: Computer programming
  subject:
    topic: Computers
  subject:
    topic: Database management
  subject:
    topic: Data mining
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Database Management
  subject:
    topic: Programming Techniques
  subject:
    topic: System Performance and Evaluation
  subject:
    topic: Data Mining and Knowledge Discovery
  subject:
    topic: Information Storage and Retrieval
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 5404
  identifier: 9783540958918
  identifier: http://dx.doi.org/10.1007/978-3-540-95891-8
  record info:
    record creation date: 100301
    record change date: 20170128160518.0
    record identifier: 978-3-540-95891-8