31![USING TIMED-RELEASE CRYPTOGRAPHY TO MITIGATE PRESERVATION RISK OF EMBARGO PERIODS by Rabia Haq B.S. August 2004, Old Dominion University USING TIMED-RELEASE CRYPTOGRAPHY TO MITIGATE PRESERVATION RISK OF EMBARGO PERIODS by Rabia Haq B.S. August 2004, Old Dominion University](https://www.pdfsearch.io/img/d0ef20070ec19979f08651a6b8d8a75e.jpg) | Add to Reading ListSource URL: www.cs.odu.eduLanguage: 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. <NNT : 201 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. <NNT : 201](https://www.pdfsearch.io/img/bdaf23080bed7786f8d26f8b6c82e6f7.jpg) | |
---|
33![Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems CML 3 – Timed Operational Semantics Deliverable Number: D23.4b Version: 0.4 Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems CML 3 – Timed Operational Semantics Deliverable Number: D23.4b Version: 0.4](https://www.pdfsearch.io/img/f6b9c76ff9bc8245172f3f8bd0a37bf2.jpg) | Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems CML 3 – Timed Operational Semantics Deliverable Number: D23.4b Version: 0.4Add to Reading ListSource URL: www.compass-research.euLanguage: 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 Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3](https://www.pdfsearch.io/img/1a496d17e5ba7cd06d57fbed6b951c33.jpg) | Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2016-08-19 01:45:37
|
---|
35![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) 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)](https://www.pdfsearch.io/img/3a6ff085a6863c159824cd16f756f73b.jpg) | 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 ListSource URL: formats08.inria.frLanguage: English - Date: 2008-04-01 09:08:03
|
---|
36![• Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions • Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions](https://www.pdfsearch.io/img/a8d1870e32e743fac88e48867ba4ea1a.jpg) | • Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitionsAdd to Reading ListSource URL: julien.ponge.orgLanguage: 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 Distributed Cooperative Manipulation under Timed Temporal Specifications arXiv:1610.00913v4 [cs.RO] 6 FebChristos K. Verginis and Dimos V. Dimarogonas](https://www.pdfsearch.io/img/1eccff9f96ea4ad16d98fbebd9be45a3.jpg) | Distributed Cooperative Manipulation under Timed Temporal Specifications arXiv:1610.00913v4 [cs.RO] 6 FebChristos K. Verginis and Dimos V. DimarogonasAdd to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-02-06 23:21:53
|
---|
38![FinSpring 2010 Timed Control Competition 3
FinSpring 2010 Timed Control Competition 3](https://www.pdfsearch.io/img/bd3d74320b7386adb2f7689b0ee60e03.jpg) | FinSpring 2010 Timed Control Competition 3 Add to Reading ListSource 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 Playing Optimally on Timed Automata with Random Delays? Nathalie Bertrand1,2 and Sven Schewe2 1 Inria Rennes Bretagne Atlantique, France](https://www.pdfsearch.io/img/b6d44be2dc2615033901d5d9bbb46c30.jpg) | Playing Optimally on Timed Automata with Random Delays? Nathalie Bertrand1,2 and Sven Schewe2 1 Inria Rennes Bretagne Atlantique, FranceAdd to Reading ListSource URL: people.rennes.inria.frLanguage: 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 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](https://www.pdfsearch.io/img/c272b8c0bf1558bf38fca48923529468.jpg) | 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 softwarAdd to Reading ListSource URL: einarj.at.ifi.uio.noLanguage: English |
---|