BRIAN J SHERMAN m: CONTRIBUTING

First Page		Document Content
Date: 2015-03-05 21:29:24 Human–computer interaction Structure User interfaces Graphic design Graphic arts Designer Usability Information design Logo Visual arts Communication design Design		BRIAN J SHERMAN m: CONTRIBUTING Add to Reading List Source URL: www.brianjsherman.net Download Document from Source Website File Size: 43,41 KB Share Document on Facebook

	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington DocID: 1xVUp - View Document
	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang DocID: 1xV5v - View Document
	2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Uniﬁed Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform DocID: 1xUIC - View Document
	2018 Annual Poster Contest Entry Information 2018 Conference Theme “Imagine The Future" 2018 Annual Design Drafting Week DocID: 1vpSt - View Document
	Proceedings of IDETC/CIE 2007 ASME 2007 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference September 4-7, 2007, Las Vegas, Nevada, USA DETC2007 DocID: 1vnod - View Document