Cis - PDFSEARCH.IO - Document Search Engine

Cis
Results: 5683

#	Item
241	Recursive Computation of Regions and Connectivity in Networks Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo Computer and Information Science Department, University of Pennsylvania Philade Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-10-30 11:55:11
242	Let SDN Be Your Eyes: Secure Forensics in Data Center Networks Adam Bates Kevin Butler University of Oregon Add to Reading List Source URL: www.cis.upenn.edu - Date: 2014-01-28 16:03:34
243	Differential Provenance: Better Network Diagnostics with Reference Events Ang Chen Yang Wu Add to Reading List Source URL: www.cis.upenn.edu - Date: 2015-10-19 15:49:59
244	A Theorem Proving Approach Towards Declarative Networking Anduo Wang1 Boon Thau Loo1 Changbin Liu1 Oleg Sokolsky1 Prithwish Basu2 1 Add to Reading List Source URL: www.cis.upenn.edu - Date: 2009-07-05 21:33:29
245	Program Extraction from Nested Definitions Kenji Miyamoto1,? , Fredrik Nordvall Forsberg2,?,?? and Helmut Schwichtenberg1 1 Ludwig-Maximilians-Universit¨ Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2013-12-28 10:04:09
246	The High Court, Democracy and Same Sex Marriage CIS Occasional Paper 147 Add to Reading List Source URL: www.cis.org.au - Date: 2016-07-20 04:04:32
247	Rational Synthesis Dana Fisman1 , Orna Kupferman1, and Yoad Lustig2 1 School of Computer Science and Engineering,Hebrew University, Jerusalem 91904, Israel. 2 Add to Reading List Source URL: www.cis.upenn.edu - Date: 2013-09-22 22:25:44
248	Tensor Robust Principal Component Analysis: Exact Recovery of Corrupted Low-Rank Tensors via Convex Optimization Canyi Lu1 , Jiashi Feng1 , Yudong Chen2 , Wei Liu3 , Zhouchen Lin4,5,∗, Shuicheng Yan6,1 1 2 Add to Reading List Source URL: www.cis.pku.edu.cn - Date: 2016-10-19 02:44:00
249	DMaC: Distributed Monitoring and Checking Wenchao Zhou Oleg Sokolsky Boon Thau Loo Add to Reading List Source URL: www.cis.upenn.edu - Date: 2009-06-18 13:49:34
250	Formalizing Metarouting in PVS Anduo Wang Boon Thau Loo Department of Computer and Add to Reading List Source URL: www.cis.upenn.edu - Date: 2009-06-22 07:05:47

UPDATE