R CHI’940 “Celeb~ating Interdependence” Human

First Page		Document Content
Date: 2001-07-31 09:17:32 Computing Mouse button Mouse Computer icon GUI widget User interface Tool Drag and drop Selection Humanâ€“computer interaction User interface techniques Software		R CHI’940 “Celeb~ating Interdependence” Human Add to Reading List Source URL: thomas.baudel.name Download Document from Source Website File Size: 927,43 KB Share Document on Facebook

	POSTER: BotFlex: A Community-driven Tool for Botnet Detection Sheharbano Khattak Independent Researcher DocID: 1xW2K - View Document
	CANADIAN NUTRITION SCREENING TOOL (CNST) Name: Age: Weight: DocID: 1xVZH - View Document
	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 DocID: 1xVVP - View Document
	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar DocID: 1xVJ1 - View Document
	CANADIAN NUTRITION SCREENING TOOL (CNST) Name: Age: Weight: DocID: 1xVHO - View Document