Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
121	Regular Expression Matching on Graphics Hardware for Intrusion Detection Giorgos Vasiliadis, Michalis Polychronakis, Spiros Antonatos, Sotiris Ioannidis, Evangelos P. Markatos FORTH-ICS, Greece Add to Reading List Source URL: www.rennes.supelec.fr Language: English - Date: 2009-10-06 07:22:03
122	Parameterized verification of many identical probabilistic timed processes Nathalie Bertrand1 and Paulin Fournier2 1 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2013-10-22 08:12:52
123	Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-18 08:43:29
124	Foundation of Diagnosis and Predictability in Probabilistic Systems∗ Nathalie Bertrand1 , Serge Haddad2 , and Engel Lefaucheux1,2 1 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-18 08:43:00
125	On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:16
126	Verifying Resource Access Control on Mobile Interactive Devices Frédéric Besson§ Guillaume Dufay§ Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:30
127	Playing with probabilities in Reconfigurable Broadcast Networks Nathalie Bertrand1 , Paulin Fournier2 , and Arnaud Sangnier3 1 Inria Rennes Bretagne Atlantique Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-18 08:44:24
128	From Stack Inspection to Access Control: A Security Analysis for Libraries Fr´ed´eric Besson Microsoft Research Tomasz Blanc Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:27
129	Timed automata A determinization procedure The abstract procedure applied Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:23
130	Diviser pour Régner (quelques clés pour la lecon 902) Loïc Hélouët Add to Reading List Source URL: people.rennes.inria.fr Language: French - Date: 2016-01-26 04:36:14

UPDATE