IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, - Bang–bang control - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-11 18:27:55 Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics		IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 247,13 KB Share Document on Facebook

	Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 4 DocID: 1xU1S - View Document
	Translation Term Weighting and Combining Translation Resources in Cross-Language Retrieval Aitao Chen, and Fredric Gey School of Information Management and Systems DocID: 1voyg - View Document
	Proceedings on Privacy Enhancing Technologies ; ):184–201 Raphael R. Toledo, George Danezis, and Ian Goldberg Lower-Cost -Private Information Retrieval Abstract: Private Information Retrieval (PIR), despite be DocID: 1vkX2 - View Document
	Modeling Latent Topic Interactions using Quantum Interference for Information Retrieval Alessandro Sordoni Jing He DocID: 1vklT - View Document
	Information Retrieval Ein Überblick Ingo Frommholz Universität Duisburg-Essen DocID: 1vhAi - View Document