Execution

Results: 6779



#Item
21

WSMX – INFRASTRUCTURE FOR EXECUTION OF SEMANTIC WEB SERVICES Michal Zaremba, Armin Haller, Maciej Zaremba, Matthew Moran Digital Enterprise Research Institute, DERI, Ireland {michal.zaremba, armin.haller, maciej.zaremb

Add to Reading List

Source URL: www.armin-haller.com

Language: English - Date: 2017-07-30 02:43:50
    22

    Technical Notes Run-Time Error Handling in FORTH Using SETJMP and LNGJMP for Execution Control or GOTOinFORTH Robert J. Paul, Jay S. Friedland, Jeremy E. Sagan

    Add to Reading List

    Source URL: soton.mpeforth.com

    Language: English - Date: 2011-10-03 20:14:57
      23

      Execution Templates: Caching Control Plane Decisions for Strong Scaling of Data Analytics Omid Mashayekhi, Hang Qu, Chinmayee Shah, and Philip Levis, Stanford University https://www.usenix.org/conference/atc17/technical-

      Add to Reading List

      Source URL: sing.stanford.edu

      Language: English - Date: 2017-07-20 18:59:13
        24

        Execution Version DEVELOPMENT AGREEMENT FOXCONN PROJECT Village of Mount Pleasant, Racine County, Wisconsin

        Add to Reading List

        Source URL: wisconnvalley.wi.gov

        Language: English - Date: 2018-01-19 11:53:42
          25

          TOWARD REVEALING KERNEL MALWARE BEHAVIOR IN VIRTUAL EXECUTION ENVIRONMENTS Chaoting Xuan, John Copeland, Raheem Beyah

          Add to Reading List

          Source URL: www.rennes.supelec.fr

          Language: English - Date: 2009-10-02 10:52:43
            26

            Generalising argument dialogue with the Dialogue Game Execution Platform Floris BEX a , John LAWRENCE b , Chris REED b a Information and Computing Sciences, Utrecht University, The Netherlands b

            Add to Reading List

            Source URL: www.arg.dundee.ac.uk

            Language: English - Date: 2015-06-01 05:34:12
              27

              A Deliberation Layer for Instantiating Robot Execution Plans from Abstract Task Descriptions June 10th, 2013 D. Di Marco∗ , R.J.M. Janssen◦ , A.C. Perzylo~ , M.J.G. van de Molengraft◦ , P. Levi∗

              Add to Reading List

              Source URL: icaps13.icaps-conference.org

              Language: English - Date: 2017-01-12 09:35:44
                28

                Safe Loading A Foundation for Secure Execution of Untrusted Programs Mathias Payer, Tobias Hartmann, Thomas R. Gross Department of Computer Science

                Add to Reading List

                Source URL: nebelwelt.net

                Language: English - Date: 2018-08-13 04:44:10
                  29

                  Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

                  Add to Reading List

                  Source URL: www.markrtuttle.com

                  Language: English - Date: 2015-08-01 14:12:14
                    30

                    Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

                    Add to Reading List

                    Source URL: cl-informatik.uibk.ac.at

                    Language: English - Date: 2016-09-11 10:26:10
                      UPDATE