Εμφανίζονται 2.001 - 2.020 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,30δλ Περιορισμός αποτελεσμάτων
  1. 2001
    System Specification & Design Languages Best of FDL’02 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Complex System-On-Chip Using UML and Executable System Models -- Using the SHE Method for UML-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2002
    Social psychology of gender
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Benard -- 'Street cred' and the executive woman : the effects of gender differences in social networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2003
    Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2004
    Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Smart Card Applications -- Design, Installation and Execution of a Security Agent for Mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2005
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2006
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Transformation from OWL to Ecore -- Transforming Process Models: Executable Rewrite Rules versus a Formalized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2007
    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
    Πίνακας περιεχομένων: “… for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2008
    Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2009
    Handbook of exchange rates /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… frequency finance: Using scaling laws to build trading models -- 21. Algorithmic Execution in Foreign…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  10. 2010
    Υλοποίηση ειδικού σκοπού επεξεργαστή βασισμένου στην αρχιτεκτονική ανοιχτού τύπου RISC-V
    ανά Καλύβα, Στυλιανή
    Έκδοση 2022
    “…, Instruction Decode-Execute Stage) που σημαίνει ότι οι εντολές εκτελούνται σε τουλάχιστον 2 κύκλους ρολογιού…”
    Λήψη πλήρους κειμένου
  11. 2011
    Μοντέλο συσχέτισης υδραυλικών παραμέτρων λειτουργίας δικτύου ύδρευσης με μηχανική ισχύ εξόδου υδροστροβίλου
    ανά Χουλιαρά, Ευαγγελία
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  12. 2012
    Encyclopedia of Database Systems
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Active Database Execution Model -- Active Database Knowledge Model -- Active Database Management System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2013
    On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Ennovations -- Managing the Execution of Business Processes -- On The Move Academy (OTMA) 2014 -- The 11th…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2014
    Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Algorithm in ROMS -- Evaluation of HCM: a New Model to Predict the Execution Time of Regular Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 2015
    ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Non-shared Data on Public Storage -- The Dual-Execution-Environment Approach: Analysis and Comparative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2016
    Architecture of Computing Systems – ARCS 2016 29th International Conference, Nuremberg, Germany, April 4–7, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…, and Performance Modeling Data Age Diminution in the Logical Execution Time Model -- Accurate Sample Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2017
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Testing and Verification -- Generalized Symbolic Execution for Model Checking and Testing -- Code-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2018
    Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for the Safe Execution of Tasks in Multi-agent Systems -- An Argumentation Framework for Merging Conflicting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2019
    Worldwide Computing and Its Applications International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…: Distributed execution of Java programs -- Performance of the messengers autonomous-objects-based system…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2020
    UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Diagrams -- An Execution Algorithm for UML Activity Graphs -- Timing Analysis of UML Activity Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email