Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Integrity and Consistency for Untrusted Services
3. Altmetric Badge
   Chapter 2 A Structured Codesign Approach to Many-Core Architectures for Embedded Systems
4. Altmetric Badge
   Chapter 3 SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information?
5. Altmetric Badge
   Chapter 4 Verification of Timed-Arc Petri Nets
6. Altmetric Badge
   Chapter 5 Efficient Algorithms for Handling Nondeterministic Automata
7. Altmetric Badge
   Chapter 6 The Straight-Line RAC Drawing Problem Is NP-Hard
8. Altmetric Badge
   Chapter 7 Tracking the Evolution of Code Clones
9. Altmetric Badge
   Chapter 8 Liquidsoap: A High-Level Programming Language for Multimedia Streaming
10. Altmetric Badge
    Chapter 9 Combining Traditional Map Labeling with Boundary Labeling
11. Altmetric Badge
    Chapter 10 On Making a Distinguished Vertex Minimum Degree by Vertex Deletion
12. Altmetric Badge
    Chapter 11 Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size
13. Altmetric Badge
    Chapter 12 GreedyMAX-type Algorithms for the Maximum Independent Set Problem
14. Altmetric Badge
    Chapter 13 Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions
15. Altmetric Badge
    Chapter 14 One-Reversal Counter Machines and Multihead Automata: Revisited
16. Altmetric Badge
    Chapter 15 Collisionless Gathering of Robots with an Extent
17. Altmetric Badge
    Chapter 16 Min-Max Coverage in Multi-interface Networks
18. Altmetric Badge
    Chapter 17 Bandwidth Constrained Multi-interface Networks
19. Altmetric Badge
    Chapter 18 A Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN
20. Altmetric Badge
    Chapter 19 White Space Regions
21. Altmetric Badge
    Chapter 20 New Results on the Complexity of the Max- and Min-Rep Problems
22. Altmetric Badge
    Chapter 21 In-Place Sorting
23. Altmetric Badge
    Chapter 22 On d -Regular Schematization of Embedded Paths
24. Altmetric Badge
    Chapter 23 Upward Point-Set Embeddability
25. Altmetric Badge
    Chapter 24 Cooperative Query Answering by Abstract Interpretation
26. Altmetric Badge
    Chapter 25 An Improved B+ Tree for Flash File Systems
27. Altmetric Badge
    Chapter 26 Comparing GPU and CPU in OLAP Cubes Creation
28. Altmetric Badge
    Chapter 27 A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development
29. Altmetric Badge
    Chapter 28 Advice Complexity and Barely Random Algorithms
30. Altmetric Badge
    Chapter 29 Alternative Parameterizations for Cluster Editing
31. Altmetric Badge
    Chapter 30 The Complexity of Finding k th Most Probable Explanations in Probabilistic Networks
32. Altmetric Badge
    Chapter 31 Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks
33. Altmetric Badge
    Chapter 32 On the Complexity of the Metric TSP under Stability Considerations
34. Altmetric Badge
    Chapter 33 Structural Properties of Hard Metric TSP Inputs
35. Altmetric Badge
    Chapter 34 An Automata-Theoretical Characterization of Context-Free Trace Languages
36. Altmetric Badge
    Chapter 35 Unambiguous UML Composite Structures: The OMEGA2 Experience
37. Altmetric Badge
    Chapter 36 Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
38. Altmetric Badge
    Chapter 37 A Local Search Algorithm for Branchwidth
39. Altmetric Badge
    Chapter 38 Finding the Description of Structure by Counting Method: A Case Study
40. Altmetric Badge
    Chapter 39 On Approximating the d -Girth of a Graph
41. Altmetric Badge
    Chapter 40 SScAC: Towards a Framework for Small-Scale Software Architectures Comparison
42. Altmetric Badge
    Chapter 41 Folk Theorems on the Correspondence between State-Based and Event-Based Systems
43. Altmetric Badge
    Chapter 42 Privacy, Liveliness and Fairness for Reputation
44. Altmetric Badge
    Chapter 43 Minimizing Interference for the Highway Model in Wireless Ad-Hoc and Sensor Networks
45. Altmetric Badge
    Chapter 44 Join-Queries between Two Spatial Datasets Indexed by a Single R*-Tree
46. Altmetric Badge
    Chapter 45 Information Leakage Analysis by Abstract Interpretation
47. Altmetric Badge
    Chapter 46 Partition into Triangles on Bounded Degree Graphs