Showing 1,741 - 1,760 results of 4,049 for search '"execution"', query time: 0.17s Refine Results
  1. 1741
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Execution in Verifying Distributed Algorithms -- Model Checking II -- Efficient Computation of Recurrence…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1742
    Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Formalisation of Java's Exception Mechanism -- A Formal Executable Semantics of the JavaCard Platform…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1743
    Financial Cryptography Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings /
    Published 1998
    Table of Contents: “…Micro-payments via efficient coin-flipping -- X-Cash: Executable digital cash -- Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1744
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Formal Molecular Biology -- Requirements on the Execution of Kahn Process Networks -- Tagging, Encoding…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1745
    Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /
    Published 1998
    Table of Contents: “… preliminary report -- On explicit plan languages for coordinating multiagent plan execution -- Social…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1746
    Recent Advances in Intrusion Detection 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Intrusion Detection Analysis -- Accurate Buffer Overflow Detection via Abstract Pay load Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1747
    Distributed Computing 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Controlled Re-execution -- DUALITY: An Architecture Independent Design Model for Parallel Systems Based…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1748
    Agents and Peer-to-Peer Computing First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers /
    Published 2003
    Table of Contents: “… for Information Systems -- Peer Services: From Description to Invocation -- Execution Environment of Peer-to-Peer…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1749
    Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings /
    Published 1998
    Table of Contents: “…™ to execute Java™ on small devices -- TurboJ, a Java bytecode-to-native compiler -- Cache sensitive pre…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1750
    Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /
    Published 1998
    Table of Contents: “… IN protocol implementation -- Agent-based data services in future IN-platforms -- Visualisation of executable…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1751
    Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
    Published 2001
    Table of Contents: “… Address Space System -- Session 6: Overview -- Hyper-Code Revisited: Unifying Program Source, Executable…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1752
    Mobile Agents for Telecommunication Applications Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Architecture and Methodologies -1 -- Visualizing Mobile Agent Executions -- Towards Policy-Driven Agent System…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1753
    COTS-Based Software Systems Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 /
    Published 2003
    Table of Contents: “… RTCA/DO-178B Guidelines -- Techniques for Embedding Executable Specifications in Software Component…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1754
    Advances in the economic analysis of participatory and labor-managed firms.
    Published 2011
    Table of Contents: “… and workforce skills / Nan L. Maxwell -- Majority ownership and chief executive compensation / Derek C. Jones…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1755
    Jobs, training, and worker well-being
    Published 2010
    Table of Contents: “… dynamics of American executives / Christian Belzil, Michael Bognanno -- Chapter 7. Self-selection models…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1756
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Using Symbolic Execution and Invariant Generation -- Polynomial Time Image Computation with Interval…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1757
    Advances in accounting education teaching and curriculum innovations. Vol. 7 /
    Published 2005
    Table of Contents: “… practices in accounting program assessment : executive summary, AAA teaching and curriculum committee…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1758
    Visible Costs and Invisible Benefits Military Procurement as Innovation Policy /
    by Eliasson, Gunnar
    Published 2017
    Table of Contents: “…Executive Summary -- Chapter 1 Background and Economic Political Context -- Part I: Customer…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1759
    Service-Oriented and Cloud Computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings /
    Published 2017
    Table of Contents: “…, Validating and Executing Access Control Policies in Cloud Environments -- Secure and Scalable Remote Access…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1760
    Applications and Innovations in Intelligent Systems XVI Proceedings of AI-2008, the Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
    Published 2009
    Table of Contents: “… and feature selection -- Executing Medical Guidelines on the Web: Towards Next Generation Healthcare -- A…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search