Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
111	REVIEW the thermostatic model of representation reviewed kathrin thomas Department of Politics, University of Exeter, Amory Building, Rennes Drive, Exeter, EX4 4RJ, United Kingdom Add to Reading List Source URL: www.degreesofdemocracy.net Language: English - Date: 2014-07-30 20:30:45
112	Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties CHRISTEL BAIER Universität Bonn, Institut für Informatik I arXiv:cs.LOv3 11 Apr 2006 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:14
113	¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2013-09-13 06:06:33
114	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
115	Document based modeling of Web services choreographies using Active XML Lo¨ıc H´elou¨et and Albert Benveniste () INRIA-Rennes, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract—This paper Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:36:14
116	Introduction Existing work Game approach Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:27
117	Active diagnosis for probabilistic systems? ´ Nathalie Bertrand1 , Eric Fabre1 , 1,2 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-12-03 15:38:57
118	Behaviors Generation From Product Lines Requirements Tewﬁk Ziadi, Loic H´elou¨et, Jean-Marc J´ez´equel IRISA, Campus de BeaulieuRennes Cedex, France {tziadi, lhelouet, jezequel} @irisa.fr Abstract. Modelin Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-04-20 17:15:08
119	No d’ordre: THÈSE présentée devant l’Université de Rennes 1 Add to Reading List Source URL: people.rennes.inria.fr Language: French - Date: 2015-03-06 04:09:39
120	LISTE DES PIECES A FOURNIR Pour que le dossier soit présenté au comité d’agrément, il faut impérativement que tous les éléments cités ci-dessous soient joints : Présentation du porteur de projet et de ses as Add to Reading List Source URL: www.initiative-rennes.fr Language: French - Date: 2017-06-01 02:40:17