Showing 501 - 520 results of 4,049 for search '"execution"', query time: 0.09s Refine Results
  1. 501
  2. 502
    Published 2015
    Table of Contents: “… Set of Metrics of Non-locality Complexity in UML State Machines -- A Customizable Execution Engine…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 503
    Published 2000
    Table of Contents: “…Program Development and Execution Support -- REXEC: A Decentralized, Secure Remote Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 504
  5. 505
    by Krawiec, Krzysztof
    Published 2016
    Table of Contents: “… -- Synthesizing Programs with Consistent Execution Traces -- Pattern-guided Program Synthesis -- Behavioral Code…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 506
  7. 507
  8. 508
    Published 2014
    Table of Contents: “… in MBE Back and Forth -- Visualizing Unbounded Symbolic Execution -- Film stripping and Unrolling: A…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 509
    Table of Contents: “… -- Generation of Improvement Solutions -- Monitoring and Controlling Execution -- Conclusion to "PDSA Do…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 510
    by Demartini, Chiara
    Published 2014
    Table of Contents: “…. The Strategy Execution Mechanism -- 12. Implementation, Use and Diagnosis of the Performance Management System…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 511
    Full Text via HEAL-Link
    Electronic eBook
  12. 512
    by Jensen, Karina R.
    Published 2017
    Table of Contents: “… Change from Planning to Execution -- 8. Facilitating and Orchestrating a Successful Transformation -- 9…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 513
  14. 514
    Full Text via HEAL-Link
    Electronic eBook
  15. 515
    Table of Contents: “…: Operator related factors. Surgical implementation: Surgical procedures -- Critical elements in execution.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 516
    Published 2007
    Table of Contents: “… in Distributed Component-Based Software -- A Study of Execution Environments for Software Components…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 517
    Published 2007
    Table of Contents: “… to Improve the Quality of Automatic Test Generation -- Symbolic Execution Techniques for Refinement Testing…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 518
    Published 2007
    Table of Contents: “…Host-Based Intrusion Detection -- Exploiting Execution Context for the Detection of Anomalous…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 519
    by Holzmann, Frédéric
    Published 2008
    Table of Contents: “… driver and assistant system -- Executive level as vehicle platform -- Requirements for the executive…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 520
    by Suwa, Haruhiko, Sandoh, Hiroaki
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed Email Search