Εμφανίζονται 1.341 - 1.360 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,17δλ Περιορισμός αποτελεσμάτων
  1. 1341
    Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Function Approach to Modeling Authorization in Distributed Systems -- Fenix Secure Operating System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1342
    Algorithms - ESA 2000 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1343
    Trusted Information The New Decade Challenge /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Reasoning -- Improving the Protection of Assets in Open Distributed Systems by Use of X-ifying Risk Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1344
    SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1345
    Technologies for Business Information Systems
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Security Evaluation Model for Multi-Agent Distributed Systems -- Industrial Application and Evaluation of a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1346
    Intelligent Methods and Big Data in Industrial Applications
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Distributed Systems -- Implementing the Bus Protocol of a Microprocessor in a Software-Dened Computer -- ISMIS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1347
    Cloud Computing - CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… for Outsourcing Equality Conjunction Search -- A Hybrid Approach for Synchronizing Clocks in Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1348
    Autonomic Communication Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1349
    Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1350
    Foundations of Computational Intelligence Volume 4 Bio-Inspired Data Mining /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1351
    Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Tasks -- Constraints, Graphs, Algebra, Logic, and Complexity -- Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1352
    Information Security and Assurance 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Review -- PeerReview Analysis and Re-evaluation for Accountability in Distributed Systems or Networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1353
    Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Architectures -- CFD Parallel Simulation Using Getfem++ and Mumps -- Aggregation AMG for Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1354
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1355
    Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Distributed Systems -- A Formalization of Distributed Authorization with Delegation -- Signatures I -- Two…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1356
    Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1357
    Advances in Databases and Information Systems 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Combining Efficient XML Compression with Query Processing -- Distributed Systems -- Fast User Notification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1358
    Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1359
    Security and Privacy in the Age of Ubiquitous Computing IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Component Sharing by Runtime Test and Immunization for Survivable Distributed Systems -- Design…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1360
    Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Analytical Modeling for Multi-transaction Bus on Distributed Systems -- Leveraging the Strengths…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email