Εμφανίζονται 1.021 - 1.040 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,28δλ Περιορισμός αποτελεσμάτων
  1. 1021
    Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Embedded Software -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Platform…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1022
    Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Reduction for Model Checking Executable Object-Oriented Software System Designs -- Model Generation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1023
    Detection of Intrusions and Malware, and Vulnerability Assessment 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Use RDTSC? A Study on Operations Executed by Malware for CPU Cycle Measurement -- On Deception-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1024
    Visuospatial Processing for Education in Health and Natural Sciences
    Έκδοση 2019
    Πίνακας περιεχομένων: “…, and Visuospatial Processing -- Executing Body Actions -- Executing or Observing Body Actions -- Embodied Cognition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1025
    Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1026
    Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Cloud Computing Infrastructure Track Session 1 -- Executing Distributed Applications on Virtualized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1027
    Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of Distributed Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1028
    Enterprise, Business-Process and Information Systems Modeling 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…BPMDS 2018 -- Context-Awareness in Business Processes -- Mining Expressive and Executable Resource…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1029
    Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Dynamic Decision-making -- Deterministic High-level Executable Models Allowing Efficient Runtime…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1030
    ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…-Free Logging and Replay of Concurrent Execution on Multiple Cores -- Understanding TypeScript -- Sound…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1031
    Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Secure Multi-execution with Declassification -- A Taxonomy of Information Flow Monitors…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1032
    Job Scheduling Strategies for Parallel Processing IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…-allocation -- Load Balancing for Minimizing Execution Time of a Target Job on a Network of Heterogeneous…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1033
    Realistic Simulation of Financial Markets Analyzing Market Behaviors by the Third Mode of Science /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Models in an Artificial Market -- 7 The Effect of Resilience in Optimal Execution with Artificial Market…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1034
    Foundations of Dependable Computing System Implementation /
    Έκδοση 1994
    Πίνακας περιεχομένων: “…-Tolerant Communication in Distributed Computing Systems -- Computer Support -- Speculative Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1035
    The Delta Model Reinventing Your Business Strategy /
    ανά Hax, Arnoldo C.
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- The Development of the Strategic Agenda: A Call to Action -- Monitoring the Strategy Execution -- Putting It All…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1036
    Advances in Enterprise Engineering VII Third Enterprise Engineering Working Conference, EEWC 2013, Luxembourg, May 13-14, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… in Requirements Engineering -- Understanding Entropy Generation during the Execution of Business Process…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1037
    Civil engineer's handbook of professional practice /
    ανά Hansen, Karen Lee
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Engagement -- The Engineer's Role in Project Development -- What Engineers Deliver -- Executing a…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  18. 1038
    Irrigation Governance Challenges in the Mediterranean Region: Learning from Experiences and Promoting Sustainable Performance
    Πίνακας περιεχομένων: “…Foreword -- Acknowledgements -- Executive Summary -- List of Abbreviations -- List of Boxes -- List…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1039
    Personal benchmark : integrating behavioral finance and investment management /
    ανά Widger, Chuck
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Investment Manager / Chuck Widger -- How Can We Execute a Purpose-Driven Investment Strategy?. Using a Goals…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  20. 1040
    Micromanufacturing International Research and Development /
    Πίνακας περιεχομένων: “…From the contents Foreword -- Table of Contents -- List of Figures -- List of Tables -- Executive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email