August 4, 2005 Judy Russell U.S. Government Printing Office 732 N. Capitol Street, NW Washington, DC 20401

First Page		Document Content
Date: 2014-09-16 13:36:51 Digitizing United States Government Printing Office Federal Digital System Technology Specification Business Management American Library Association Government Documents Round Table Technical communication		August 4, 2005 Judy Russell U.S. Government Printing Office 732 N. Capitol Street, NW Washington, DC 20401 Add to Reading List Source URL: wikis.ala.org Download Document from Source Website File Size: 76,31 KB Share Document on Facebook

	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi DocID: 1xVZ6 - View Document
	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA DocID: 1xVWh - View Document
	R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018) DocID: 1xVOa - View Document
	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa DocID: 1xVDa - View Document
	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti DocID: 1xVf7 - View Document