Showing 181 - 200 results of 348 for search '"distributed algorithms"', query time: 0.12s Refine Results
  1. 181
    On the Move to Meaningful Internet Systems: OTM 2009 Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I /
    Published 2009
    Table of Contents: “…/Subscribe Scenarios in Intelligent Transportation Systems -- Distributed Algorithms and Communication…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 182
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published 2015
    Table of Contents: “… of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 183
    Petri Net Technology for Communication-Based Systems Advances in Petri Nets /
    Published 2003
    Table of Contents: “… Based Transition Refinement for the Verification of Distributed Algorithms.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 184
    Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  5. 185
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Abstraction in Fault-Tolerant Distributed Algorithms -- Efficient Elimination of Redundancies in Polyhedra…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 186
    Transactions on Rough Sets IX
    Published 2008
    Table of Contents: “… of Dependency and Consistency Degrees of Two Knowledges Represented by Covering -- A New Approach to Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 187
    Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… of Distributed Algorithms in Dynamic Networks -- A New Polynomial Silent Stabilizing Spanning-Tree Construction…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 188
    FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /
    Published 2005
    Table of Contents: “… Contexts -- Decidability of MSO Theories of Tree Structures -- Distributed Algorithms for Coloring…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 189
    Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… Queries -- Session V (Distributed Algorithms) -- Self-tuning Reactive Distributed Trees for Counting…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 190
    Software Engineering Research, Management and Applications
    Published 2016
    Table of Contents: “… Graph Distribution Algorithm -- High Level Petri Net Modelling and Analysis of FlexibleWeb Services…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 191
    Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers /
    Published 2010
    Table of Contents: “… Protocols for Wireless Multihop Networks -- Distributed Algorithm for Self Organizing LTE Interference…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 192
    Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… of Internet BGP Routing -- A Distributed Algorithm to Find Hamiltonian Cycles in Random Graphs -- String…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 193
    Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /
    Published 2008
    Table of Contents: “… of Distribution Algorithms in Test Data Generation -- Design and Analysis of Rule-based Systems with Adder…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 194
    Distributed Computing 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Distributed Algorithms for English Auctions -- A Probabilistically Correct Leader Election Protocol for Large…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 195
    CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Systems -- Synthesis of Distributed Algorithms Using Asynchronous Automata -- Compression of Partially…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 196
    Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “…Invited Talk 1 -- Distributed Algorithms for Systems of Autonomous Mobile Robots -- Invited Talk 2…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 197
    Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach /
    by Raynal, Michel, Raynal, Michel
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  18. 198
    Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “…: Performance Evaluation and Measurements -- Session 1C: Distributed Algorithms and Systems -- Session 1D: Fault…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 199
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Distributed Algorithms: Reachability -- Lost in Abstraction: Monotonicity in Multi-threaded Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 200
    Advances in Distributed Systems Advanced Distributed Computing: From Algorithms to Systems /
    Published 2000
    Table of Contents: “…1 Distributed Algorithms -- Time in Distributed System Models and Algorithms -- Consensus…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search