Showing 861 - 880 results of 1,696 for search '"Distributed Systems"', query time: 0.14s Refine Results
  1. 861
    Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  2. 862
    Vulnerable Systems
    by Kröger, Wolfgang, Zio, Enrico
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  3. 863
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  4. 864
    Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings /
    Published 2005
    Table of Contents: “… 8 – Distributed Systems and Algorithms -- Topic 9 – Parallel Programming: Models, Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 865
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Published 2013
    Table of Contents: “… Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 866
    The Internet of Products An Approach to Establishing Total Transparency in Electronic Markets /
    by Neumann, Robert
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  7. 867
    On-Chip Power Delivery and Management
    Table of Contents: “… -- High Performance Power Distribution Systems -- On-Chip Power Distribution Networks -- Computer-Aided…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 868
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    by Kurki-Suonio, Reino
    Published 2005
    Table of Contents: “… and Interfaces -- Distributed and Real-Time Systems -- Distributed Systems -- Real Time -- Epilogue…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 869
    Pipeline risk management manual ideas, techniques, and resources
    by Muhlbauer, W. Kent
    Published 2004
    Table of Contents: “… Index; Data Management and Analyses; Additional Risk Modules; Service Interruption; Distribution Systems…”
    An electronic book accessible through the World Wide Web; click for information
    Electronic Book
  10. 870
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Published 2015
    Table of Contents: “… of Distributed Systems -- Efficient Querying of XML Data through Arbitrary Security Views -- Increasing Coverage…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 871
    Haloforms and Related Compounds in Drinking Water
    Published 2003
    Table of Contents: “… By-Products -- Fate and Transport of Haloforms in Water Distribution Systems -- Health Effects of Haloforms…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 872
    Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers /
    Published 2016
    Table of Contents: “… -- SCADA systems in smart grids -- Control systems in water distribution systems -- In smart transportation…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 873
    Natural Gas Engineering and Safety Challenges Downstream Process, Analysis, Utilization and Safety /
    by Nasr, G.G, Connor, N.E
    Published 2014
    Table of Contents: “…Fundamental and Natural Gas Principles -- Transmission and Distribution Systems and Design…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 874
    Adaptive Business Intelligence
    Table of Contents: “… Distribution System -- Applying Adaptive Business Intelligence -- Conclusions.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 875
    Modeling and Control of Sustainable Power Systems Towards Smarter and Greener Electric Grids /
    Published 2012
    Table of Contents: “… distributed generation systems -- Modeling and Control for Islanding Operation of Active Distribution Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 876
    Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
    Published 2007
    Table of Contents: “… Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 877
    Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
    Published 2002
    Table of Contents: “…: Integrated Approach for Design, Specification and Verification of Distributed Systems -- Assume-Guarantee…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 878
    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
    Published 1997
    Table of Contents: “… for distributed systems with trace diagrams -- Consistent graphical specification of distributed systems -- Design…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 879
    Worldwide Computing and Its Applications - WWCA'98 Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings /
    Published 1998
    Table of Contents: “… system -- Scalability in object-oriented distributed systems environment OZ -- Rapide: A language…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 880
    Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings /
    Published 2005
    Table of Contents: “… and Threats in Distributed Systems -- A TNATS Approach to Hidden Web Documents -- Querying XML Documents from…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search