↓ Skip to main content

SOFSEM 2006: Theory and Practice of Computer Science

Overview of attention for book
Cover of 'SOFSEM 2006: Theory and Practice of Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 How Can Nature Help Us Compute?
  3. Altmetric Badge
    Chapter 2 Evolving Ontology Evolution
  4. Altmetric Badge
    Chapter 3 A Formal Comparison of Visual Web Wrapper Generators
  5. Altmetric Badge
    Chapter 4 Beyond the Horizon: Planning Future European ICT R&D
  6. Altmetric Badge
    Chapter 5 Selfish Routing in Networks
  7. Altmetric Badge
    Chapter 6 New Physics and Hypercomputation
  8. Altmetric Badge
    Chapter 7 Models and Algorithms for Wireless Sensor Networks (Smart Dust)
  9. Altmetric Badge
    Chapter 8 SomeWhere in the Semantic Web
  10. Altmetric Badge
    Chapter 9 Mobility in Wireless Networks
  11. Altmetric Badge
    Chapter 10 Group Communication: From Practice to Theory
  12. Altmetric Badge
    Chapter 11 A General Data Reduction Scheme for Domination in Graphs
  13. Altmetric Badge
    Chapter 12 Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources
  14. Altmetric Badge
    Chapter 13 Non-intersecting Complexity
  15. Altmetric Badge
    Chapter 14 Constructing Interference-Minimal Networks
  16. Altmetric Badge
    Chapter 15 Matching Points with Rectangles and Squares
  17. Altmetric Badge
    Chapter 16 Searching Paths of Constant Bandwidth
  18. Altmetric Badge
    Chapter 17 Graph Searching and Search Time
  19. Altmetric Badge
    Chapter 18 Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic
  20. Altmetric Badge
    Chapter 19 Simple Algorithm for Sorting the Fibonacci String Rotations
  21. Altmetric Badge
    Chapter 20 Oriented Coloring: Complexity and Approximation
  22. Altmetric Badge
    Chapter 21 SOFSEM 2006: Theory and Practice of Computer Science
  23. Altmetric Badge
    Chapter 22 Quantum Finite Automata and Logics
  24. Altmetric Badge
    Chapter 23 FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks
  25. Altmetric Badge
    Chapter 24 Roman Domination: A Parameterized Perspective
  26. Altmetric Badge
    Chapter 25 Sedna: A Native XML DBMS
  27. Altmetric Badge
    Chapter 26 Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring
  28. Altmetric Badge
    Chapter 27 The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
  29. Altmetric Badge
    Chapter 28 Complexity and Exact Algorithms for Multicut
  30. Altmetric Badge
    Chapter 29 Using Extensible Heterogeneous Database Transformers
  31. Altmetric Badge
    Chapter 30 P-Selectivity, Immunity, and the Power of One Bit
  32. Altmetric Badge
    Chapter 31 Transparent Migration of Database Services
  33. Altmetric Badge
    Chapter 32 Merging and Merge-Sort in a Single Hop Radio Network
  34. Altmetric Badge
    Chapter 33 On Optimal and Efficient in Place Merging
  35. Altmetric Badge
    Chapter 34 A Personalized Recommendation System Based on PRML for E-Commerce
  36. Altmetric Badge
    Chapter 35 An Efficient Index Scheme for XML Databases
  37. Altmetric Badge
    Chapter 36 On Separating Constant from Polynomial Ambiguity of Finite Automata
  38. Altmetric Badge
    Chapter 37 Reliable Broadcasting Without Collision Detection
  39. Altmetric Badge
    Chapter 38 Semi-strong Static Type Checking of Object-Oriented Query Languages
  40. Altmetric Badge
    Chapter 39 Building a Fuzzy Transformation System
  41. Altmetric Badge
    Chapter 40 News Generating Via Fuzzy Summarization of Databases
  42. Altmetric Badge
    Chapter 41 Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis
  43. Altmetric Badge
    Chapter 42 Automatic Distribution of Sequential Code Using JavaSymphony Middleware
  44. Altmetric Badge
    Chapter 43 Unifying Framework for Message Passing
  45. Altmetric Badge
    Chapter 44 Heuristics on the Definition of UML Refinement Patterns
  46. Altmetric Badge
    Chapter 45 The Complexity of Problems on Implicitly Represented Inputs
  47. Altmetric Badge
    Chapter 46 How Many Dots Are Really Needed for Head-Driven Chart Parsing?
  48. Altmetric Badge
    Chapter 47 Ontology Acquisition for Automatic Building of Scientific Portals
  49. Altmetric Badge
    Chapter 48 Improved ROCK for Text Clustering Using Asymmetric Proximity
  50. Altmetric Badge
    Chapter 49 Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet
  51. Altmetric Badge
    Chapter 50 Computational Complexity of Relay Placement in Sensor Networks
  52. Altmetric Badge
    Chapter 51 On the NP-Completeness of Some Graph Cluster Measures
  53. Altmetric Badge
    Chapter 52 A Flexible Policy Architecture for Mobile Agents
  54. Altmetric Badge
    Chapter 53 An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority
  55. Altmetric Badge
    Chapter 54 Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three
  56. Altmetric Badge
    Chapter 55 Level-of-Detail in Behaviour of Virtual Humans
Attention for Chapter 18: Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic
Chapter number 18
Book title
SOFSEM 2006: Theory and Practice of Computer Science
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11611257_18
Book ISBNs
978-3-54-031198-0, 978-3-54-032217-7
Authors

Donghuo Chen, Jinzhao Wu