Milestone Systems - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-12-12 10:28:12 Evaluation Milestone Work Project management Deliverable Systems engineering process		Add to Reading List Source URL: ec.europa.eu Download Document from Source Website File Size: 265,86 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, DocID: 1xVWJ - View Document
	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit DocID: 1xVWB - View Document
	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, DocID: 1xVWn - View Document