TIMED - PDFSEARCH.IO - Document Search Engine

TIMED
Results: 632

#	Item
141	Revocable Timed‐Release Encryption Dominique Unruh University of Tartu Dominique Unruh Add to Reading List Source URL: ec14.compute.dtu.dk Language: English - Date: 2014-05-16 06:26:28
142	The Unmet Challenge of Timed Systems Oded Maler CNRS - VERIMAG , University of Grenoble 2, av. de Vignate, 38610 Gieres, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2014-02-10 04:24:24
143	Checking Temporal Properties of Discrete, Timed and Continuous Behaviors Dedicated to B.A. Trakhtenbrot on his 85th Birthday Oded Maler1 , Dejan Nickovic1 and Amir Pnueli2,3 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-11-05 10:41:44
144	AVoCS ’09 An Extension of the Inverse Method to Probabilistic Timed Automata ´ Add to Reading List Source URL: lipn.univ-paris13.fr Language: English - Date: 2010-12-09 19:29:08
145	Measuring with Timed Patterns Thomas Ferr`ere1 , Oded Maler1 , Dejan Niˇckovi´c2 , and Dogan Ulus1 1 VERIMAG, CNRS and the University of Grenoble-Alpes, France AIT Austrian Institute of Technology GmbH, Vienna, Austria Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2015-05-21 13:11:04
146	Timed-Release Secret Sharing Schemes with Information Theoretic Security Yohei Watanabe and Junji Shikata Yokohama National University, Japan BalkanCryptSec 2014 Add to Reading List Source URL: www.gstl.itu.edu.tr Language: English - Date: 2014-10-18 19:43:37
147	Scheduling with Timed Automata ? Yasmina Abdedda¨ım a Eugene Asarin b Oded Maler c,∗ a LIF, Universit´e de Provence, 39, rue F. Joliot Curie, 13453 Marseille, France b LIAFA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2004-09-01 07:58:36
148	A machine-independent characterization of timed languages Mikolaj Boja´ nczyk and Slawomir Lasota Institute of Informatics, University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:12:19
149	RP ’08 A Generalisation Method for Parametric Timed Automata ´ Etienne Add to Reading List Source URL: lipn.univ-paris13.fr Language: English - Date: 2010-12-09 19:29:08
150	Verification of Timed Erlang/OTP Components Using the Process Algebra µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield, Add to Reading List Source URL: www.erlang.se Language: English - Date: 2007-10-10 14:12:27

UPDATE