TSSA_Newsletter_December2013_Printed Version_REV1.cdr

First Page		Document Content
Date: 2014-12-04 04:56:20 Innovation AT&T Computing Structure Egovernment in the UAE Deutsche Telekom T-Systems Technology		TSSA_Newsletter_December2013_Printed Version_REV1.cdr Add to Reading List Source URL: www.t-systems.co.za Download Document from Source Website File Size: 647,79 KB Share Document on Facebook

	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University DocID: 1xVKA - View Document
	1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois DocID: 1xVDC - View Document
	Chapter 8 T Verification of Real-time Probabilistic Systems DocID: 1xUtb - View Document
	T DR AF Probabilistic Model Checking for Systems Biology DocID: 1xTs7 - View Document
	PDF Document DocID: 1xtK1 - View Document