Εμφανίζονται 1.241 - 1.260 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,22δλ Περιορισμός αποτελεσμάτων
  1. 1241
    Proceedings of The Ifip Tc 11 23rd International Information Security Conference IFIP 20th World Computer Congress, IFIP SEC’08, September 7-10, 2008, Milano, Italy /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in Database Federations -- Role Signatures for Access Control in Open Distributed Systems -- Policies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1242
    Information Systems Development Towards a Service Provision Society /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… the Applicability of Structural Analysis Techniques in Distributed Systems -- Web-based Systems Development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1243
    Risk assessment of power systems : models, methods, and applications /
    ανά Li, Wenyuan, 1946-
    Έκδοση 2014
    Πίνακας περιεχομένων: “… in Radial Distribution Systems; 5.4 Techniques Used in Substation Configurations…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  4. 1244
    Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Symposium Poster Papers -- Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1245
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1246
    Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in Distributed Systems -- Efficient Remote User Authentication and Key Establishment for Multi-server Environment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1247
    Computational Science - ICCS 2003 International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part I /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Failure Detector in Asynchronous Distributed Systems -- Two Phases Based Cluster Formation Scheme…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1248
    Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Checkpointing Algorithm for Mobile Distributed Systems -- Measurement and Performance Analysis -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1249
    Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Dynamically Reconfigurable Trustworthy Distributed System -- An Improved Three Pattern Huffman Compression…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1250
    Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… System for Task Scheduling Problem in Heterogeneous Distributed System -- Optimization of Green Agri-food…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1251
    High Performance Computing 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Location of Shared Resources and Its Application to the Load Sharing Problem in Heterogeneous Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1252
    Evolutionary Multi-Criterion Optimization First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Distribution System Design Problem - Computational Experiment -- Constraint Handling and Problem Decomposition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1253
    Proceedings of the International Conference on Signal, Networks, Computing, and Systems ICSNCS 2016, Volume 1 /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Part 2. Networking Theory and Distributed Systems: Chapter 17. DHAC Based Routing in Wireless Sensor…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1254
    Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Optimization and control of transport processes in the distributed systems -- On some resources placement…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1255
    Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Priority Scheduling of Distributed Systems Based on Model Checking -- Explaining Counterexamples Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1256
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Distributed Systems -- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1257
    Intelligent Information and Database Systems Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… on Heterogeneous Distributed Systems Using Learning Automata -- Visualization of the Similar Protein Structures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1258
    Microgrid : architectures and control /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Distribution System Protection; 4.2.2 Over-Current Distribution Feeder Protection.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  19. 1259
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1260
    Advanced Techniques in Computing Sciences and Software Engineering
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Distributed Systems -- Contributions in Mineral Floatation Modeling and Simulation -- Selecting the Optimal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email