↓ Skip to main content

Networked Systems

Overview of attention for book
Cover of 'Networked Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Scal: A Benchmarking Suite for Concurrent Data Structures
  3. Altmetric Badge
    Chapter 2 Verification of Buffered Dynamic Register Automata
  4. Altmetric Badge
    Chapter 3 Precise and Sound Automatic Fence Insertion Procedure under PSO
  5. Altmetric Badge
    Chapter 4 Model Checking Dynamic Distributed Systems
  6. Altmetric Badge
    Chapter 5 Networked Systems
  7. Altmetric Badge
    Chapter 6 Concurrency in Snap-Stabilizing Local Resource Allocation
  8. Altmetric Badge
    Chapter 7 Distributed Privacy-Preserving Data Aggregation via Anonymization
  9. Altmetric Badge
    Chapter 8 Gracefully Degrading Consensus and k -Set Agreement in Directed Dynamic Networks
  10. Altmetric Badge
    Chapter 9 Homonym Population Protocols
  11. Altmetric Badge
    Chapter 10 Aspect-Based Realization of Non-functional Concerns in Business Processes
  12. Altmetric Badge
    Chapter 11 Verifying Concurrent Data Structures Using Data-Expansion
  13. Altmetric Badge
    Chapter 12 Improving Cognitive Radio Wireless Network Performances Using Clustering Schemes and Coalitional Games
  14. Altmetric Badge
    Chapter 13 Optimal Torus Exploration by Oblivious Robots
  15. Altmetric Badge
    Chapter 14 Source Routing in Time-Varing Lossy Networks
  16. Altmetric Badge
    Chapter 15 A Fully Distributed Learning Algorithm for Power Allocation in Heterogeneous Networks
  17. Altmetric Badge
    Chapter 16 Packet Scheduling over a Wireless Channel: AQT-Based Constrained Jamming
  18. Altmetric Badge
    Chapter 17 Fisheye Consistency: Keeping Data in Synch in a Georeplicated World
  19. Altmetric Badge
    Chapter 18 Peer-to-Peer Full-Text Keyword Search of the Web
  20. Altmetric Badge
    Chapter 19 Profiling Transactional Applications
  21. Altmetric Badge
    Chapter 20 Disaster-Tolerant Storage with SDN
  22. Altmetric Badge
    Chapter 21 On the Complexity of Linearizability
  23. Altmetric Badge
    Chapter 22 Antichains for the Verification of Recursive Programs
  24. Altmetric Badge
    Chapter 23 BaPu : Efficient and Practical Bunching of Access Point Uplinks
  25. Altmetric Badge
    Chapter 24 Memory Efficient Self-stabilizing Distance- k Independent Dominating Set Construction
  26. Altmetric Badge
    Chapter 25 Optimizing Diffusion Time of the Content Through the Social Networks: Stochastic Learning Game
  27. Altmetric Badge
    Chapter 26 Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
  28. Altmetric Badge
    Chapter 27 Web Services Trust Assessment Based on Probabilistic Databases
  29. Altmetric Badge
    Chapter 28 Virtual and Consistent Hyperbolic Tree: A New Structure for Distributed Database Management
  30. Altmetric Badge
    Chapter 29 EPiC: Efficient Privacy-Preserving Counting for MapReduce
  31. Altmetric Badge
    Chapter 30 A Thrifty Universal Construction
  32. Altmetric Badge
    Chapter 31 Knowledgeable Chunking
  33. Altmetric Badge
    Chapter 32 Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives
  34. Altmetric Badge
    Chapter 33 Context-Based Query Expansion Method for Short Queries Using Latent Semantic Analyses
  35. Altmetric Badge
    Chapter 34 Towards a Formal Semantics and Analysis of BPMN Gateways
  36. Altmetric Badge
    Chapter 35 A User Centered Design Approach for Transactional Service Adaptation in Context Aware Environment
  37. Altmetric Badge
    Chapter 36 A Self-stabilizing PIF Algorithm for Educated Unique Process Selection
  38. Altmetric Badge
    Chapter 37 Coalitional Game Theory for Cooperative Transmission in VANET: Internet Access via Fixed and Mobile Gateways
  39. Altmetric Badge
    Chapter 38 Performance Evaluation for Ad hoc Routing Protocols in Realistic Physical Layer
  40. Altmetric Badge
    Chapter 39 Understanding Cloud Storage Services Usage: A Practical Case Study
  41. Altmetric Badge
    Chapter 40 Towards an Optimal Pricing for Mobile Virtual Network Operators
  42. Altmetric Badge
    Chapter 41 Modeling and Implementation Approach to Evaluate the Intrusion Detection System
  43. Altmetric Badge
    Chapter 42 Trust Based Energy Preserving Routing Protocol in Multi-hop WSN
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent
wikipedia
2 Wikipedia pages

Readers on

mendeley
1 Mendeley
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.
Title
Networked Systems
Published by
Springer International Publishing, February 2016
DOI 10.1007/978-3-319-26850-7
ISBNs
978-3-31-926849-1, 978-3-31-926850-7
Editors

Bouajjani, Ahmed, Fauconnier, Hugues