TEXAS DEPARTMENT OF TRANSPORTATION COMMISSION MEETING Room 1A[removed]East Riverside Drive Austin, Texas

First Page		Document Content
Date: 2012-10-05 09:14:43 Mo Loop Farm to Market Road 51		TEXAS DEPARTMENT OF TRANSPORTATION COMMISSION MEETING Room 1A[removed]East Riverside Drive Austin, Texas Add to Reading List Source URL: ftp.dot.state.tx.us Download Document from Source Website File Size: 145,62 KB Share Document on Facebook

	Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email: DocID: 1xVGY - View Document
	A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci DocID: 1xVDr - View Document
	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xUlu - View Document
	Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop Yanick Fratantonio Chenxiong Qian, Simon P. Chung, Wenke Lee DocID: 1xUfr - View Document
	Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA DocID: 1xTMY - View Document