TIMED

Results: 632



#Item
31

USING TIMED-RELEASE CRYPTOGRAPHY TO MITIGATE PRESERVATION RISK OF EMBARGO PERIODS by Rabia Haq B.S. August 2004, Old Dominion University

Add to Reading List

Source URL: www.cs.odu.edu

Language: English - Date: 2009-12-04 17:52:42
    32

    Runtime enforcement of timed properties Srinivas Pinisetty To cite this version: Srinivas Pinisetty. Runtime enforcement of timed properties. Automatic Control Engineering. Université Rennes 1, 2015. English. Add to Reading List

    Source URL: tel.archives-ouvertes.fr

    Language: English - Date: 2018-08-05 11:52:38
      33

      Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems CML 3 – Timed Operational Semantics Deliverable Number: D23.4b Version: 0.4

      Add to Reading List

      Source URL: www.compass-research.eu

      Language: English - Date: 2014-11-07 04:44:39
        34

        Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3

        Add to Reading List

        Source URL: drops.dagstuhl.de

        Language: English - Date: 2016-08-19 01:45:37
          35Science and technology in France / Computing / Computer science / Concurrency / French National Centre for Scientific Research / Research Institute of Computer Science and Random Systems / Petri net / Model checking / Rajeev Alur / French Institute for Research in Computer Science and Automation

          FORMATS’08 – Call for Papers 6th International Conference on Formal Modeling and Analysis of Timed Systems Saint-Malo, France, September 15th–17th http://formats08.inria.fr/ (Co-located with QEST’08)

          Add to Reading List

          Source URL: formats08.inria.fr

          Language: English - Date: 2008-04-01 09:08:03
          36

          • Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions

          Add to Reading List

          Source URL: julien.ponge.org

          Language: English - Date: 2015-02-16 03:42:49
            37

            Distributed Cooperative Manipulation under Timed Temporal Specifications arXiv:1610.00913v4 [cs.RO] 6 FebChristos K. Verginis and Dimos V. Dimarogonas

            Add to Reading List

            Source URL: arxiv.org

            Language: English - Date: 2017-02-06 23:21:53
              38

              FinSpring 2010 Timed Control Competition 3

              Add to Reading List

              Source URL: www.nic.fi

              - Date: 2010-06-01 05:58:38
                39

                Playing Optimally on Timed Automata with Random Delays? Nathalie Bertrand1,2 and Sven Schewe2 1 Inria Rennes Bretagne Atlantique, France

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2012-09-28 09:53:19
                  40

                  A Calculus of Virtually Timed Ambients Einar Broch Johnsen, Martin Steffen, and Johanna Beate Stumpf University of Oslo, Oslo, Norway {einarj,msteffen,johanbst}@ifi.uio.no Abstract. A virtual machine, which is a softwar

                  Add to Reading List

                  Source URL: einarj.at.ifi.uio.no

                  Language: English
                    UPDATE