Showing 1,161 - 1,180 results of 1,696 for search '"distributed system"', query time: 0.15s Refine Results
  1. 1161
    Technologies for Business Information Systems
    Published 2007
    Table of Contents: “… Security Evaluation Model for Multi-Agent Distributed Systems -- Industrial Application and Evaluation of a…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1162
    Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Telecommunication Systems I -- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1163
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1164
    Advances in Intelligent and Distributed Computing
    Published 2008
    Table of Contents: “…Invited Papers -- The world of autonomous distributed systems -- Time and Space Coordination…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1165
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- On Local Reasoning in Verification -- Concurrent/Distributed Systems -- Interprocedural Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1166
    Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014 /
    Published 2015
    Table of Contents: “… Quality in Distribution System Using D-STATCOM -- 41. Simulation and Optimization of Biomass Based Hybrid…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1167
    Energy Systems and Management
    Published 2015
    Table of Contents: “… -- Management of Distribution System Protection with High Penetration of DGs -- Assessment of Total Operating…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1168
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Table of Contents: “… Talks -- ADAM: Causality-Based Synthesis of Distributed Systems -- Alchemist: Learning Guarded Affine…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1169
    Artificial Intelligence: Methodology, Systems, and Applications 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Methods for Determining the Representation of Expert Informationin Distributed Systems -- Drafting…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1170
    Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Engineering Education in Ukraine -- Distributed Systems -- yaRTI, a Ada 95 HLA Run-Time Infrastructure…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1171
    Information and Communications Security 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Objects for Information Distribution Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1172
    UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Performance Modeling of Distributed Systems -- Roles -- A Radical Revision of UML's Role Concept -- The Role…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1173
    Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Open Distributed Systems -- Structural Sharing and Efficient Proof-Search in Propositional…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1174
    Dependable Computing - EDDC-3 Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings /
    Published 1999
    Table of Contents: “…: Networks and Distributed Systems -- Achieving Fault-Tolerant Ordered Broadcasts in CAN -- Directional…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1175
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Automata from LTL Formulae -- Efficient Detection of Global Properties in Distributed Systems Using Partial…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1176
    Distributed Autonomous Robotic Systems The 12th International Symposium /
    Published 2016
    Table of Contents: “… Behavior and Robot Congestion -- DisCoF: Cooperative Pathfinding in Distributed Systems with Limited…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1177
    Digital-Forensics and Watermarking 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers /
    Published 2016
    Table of Contents: “… in VoIP scenarios -- Digital Watermarking -- Fingerprinting for Broadcast Content Distribution System…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1178
    Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Programmers -- A Logic Programming View of Authorization in Distributed Systems -- Compositional Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1179
    ISGW 2017: Compendium of Technical Papers 3rd International Conference and Exhibition on Smart Grids and Smart Cities /
    Published 2018
    Table of Contents: “…) & its Applications in Smart Distribution Systems -- A Rule Driven Architecture to Address…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1180
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Published 2007
    Table of Contents: “… for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search