Showing 1,921 - 1,940 results of 4,049 for search '"execution"', query time: 1.04s Refine Results
  1. 1921
    Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Execution-Time Clocks for the Ada Ravenscar Profile -- Extending the Capabilities of Real-Time Applications…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1922
    Generative Programming and Component Engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “… into Executable Code -- Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1923
    Information and Communication Security Second International Conference, ICICS'99 Sydney, Australia, November 9-11, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Mobile Code Execution -- Electronic Commerce and Secret Sharing -- Detachable Electronic Coins -- Linear…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1924
    Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /
    Published 1998
    Table of Contents: “…: An Executable Specification Language for Solving All Problems in NP -- Prototyping a Requirements Specification…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1925
    Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
    Published 1998
    Table of Contents: “… multithreaded execution environment for SICStus Prolog -- A framework for bottom up specialisation of logic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1926
    Handbook of Human Resources Management
    Published 2016
    Table of Contents: “… Executive Talent -- Training and Qualification: Developing a Competency Model to Assess Sales Leaders…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1927
    Security in Communication Networks Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… Integrity Checking of Executable Code -- Signature Schemes -- How to Repair ESIGN -- Forward-Secure…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1928
    Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II /
    Published 2015
    Table of Contents: “… -- Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World -- Semantically Secure Order…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1929
    New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
    Published 2002
    Table of Contents: “… Selection and Execution of Services -- Sentient Computing for Everyone -- The Active Guidebook…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1930
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Table of Contents: “…-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1931
    Neuroeconomics
    Published 2008
    Table of Contents: “… / Martin Salm, Daniel Schunk -- Temporal discounting as a measure of executive function : insights from…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1932
    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 /
    Published 2019
    Table of Contents: “… Induction of Relations from Quantitative Performance Logs -- Systematic Construction, Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1933
    JIMD Reports, Volume 33
    Published 2017
    Table of Contents: “… Mediates the Relationship Between Phenylalanine Control and Executive Abilities in Children…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1934
    Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Can I Execute My Scenario in Your Net? VipTool Tells You! -- Exhost-PIPE: PIPE Extended for Two…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1935
    Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Space Applications -- Mobile Process Description and Execution -- An Application Framework for Nomadic…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1936
    Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
    Published 2009
    Table of Contents: “… Machines -- Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1937
    Interdisciplinary Perspectives on Consciousness and the Self
    Published 2014
    Table of Contents: “… Knowledge of the Self in a Nonhuman Primate -- Chapter 9: Executive Functions as a Path to Understanding…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1938
    Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
    Published 2018
    Table of Contents: “… Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1939
    Guns & Roses: Comparative Civil-Military Relations in the Changing Security Environment
    Published 2019
    Table of Contents: “… impacting civil military relations in Bangladesh? -- 6. The executive and the military in post-apartheid…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1940
    Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /
    Published 2009
    Table of Contents: “… Steps Towards a Wet Implementation for ?-DPP -- Defining and Executing P Systems with Structured Data…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search