Washington

Results: 181429



#Item
41Small Business Administration / Trade facilitation

U.S. SMALL BUSINESS ADMINISTRATION WASHINGTON, D.CSELF-REPRESENTATION AS AN ‘ELIGIBLE SMALL BUSINESS CONCERN’ The undersigned seeks services from a State grant recipient under the Trade Facilitation and Trade

Add to Reading List

Source URL: www.wyomingbusiness.org

Language: English - Date: 2016-12-12 11:19:38
42Brett Kavanaugh / Privacy / Law / Government / Privacy of telecommunications / Marc Rotenberg / NSA warrantless surveillance / Electronic Privacy Information Center / Supreme Court of the United States / Brett Kavanaugh Supreme Court nomination

September 12, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-09-12 20:40:02
43Software engineering / Computing / Computer programming / Compiler construction / Formal methods / Logic in computer science / Theoretical computer science / Compilers / Compiler correctness / CompCert / Formal verification / Compiler

c Copyright 2018 Eric Mullen Pushing the Limits of Compiler Verification

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2018-06-13 13:51:54
44Emergency management / Government / Disaster preparedness / Humanitarian aid / Occupational safety and health / United States Department of Homeland Security / Homeland security / International Association of Emergency Managers

Contact: Dawn Shiley IAEM Communications Manager IAEM Headquarters 201 Park Washington Court

Add to Reading List

Source URL: www.emap.org

Language: English - Date: 2018-04-06 09:23:30
45Software engineering / Software / Code coverage / Software testing / ARG2 / Xdebug / Relational operator / Tarantula / Computer programming

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
46Computing / Software engineering / Markup languages / Open formats / HTML / Lightweight markup languages / Technical communication / JavaScript / Markdown / Data visualization / Spreadsheet / Ext JS

Idyll: A Markup Language for Authoring andPublishing Interactive Articles on the Web

Add to Reading List

Source URL: idl.cs.washington.edu

Language: English
47International trade / Economy / International relations / Foreign trade of the United States / Dumping / Customs duties / United States trade policy / 106th United States Congress / African Growth and Opportunity Act / Countervailing duties / Office of the United States Trade Representative / World Trade Organization

Federal Register / Vol. 71, NoWednesday, April 26, Notices Department of Justice, Washington, DC 20044–7611, and should refer to United

Add to Reading List

Source URL: otexa.trade.gov

Language: English - Date: 2007-05-09 13:40:12
48Computer architecture / System software / Disk file systems / Data management / Inode / File system / Journaling file system / Log-structured File System / Ext3 / Mkfs / Refinement / Ext4

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:06
49Alphabet Inc. / World Wide Web / Digital media / Technology / Electronic Privacy Information Center / Politics and technology / Terms of service / Google Search / Algorithmic transparency / Marc Rotenberg / Internet privacy / Internet universality

July 16, 2017 The Honorable Bob Goodlatte, Chair The Honorable Jerry Nadler, Ranking Member House Committee on the Judiciary 2138 Rayburn House Office Building Washington, DC 20515

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-07-16 17:46:29
50Protective security units / Assassination of William McKinley / Money forgery / United States Secret Service / Law enforcement

October 24, 2018 CMRSECRET SERVICE STATEMENT REGARDING INTERCEPTION OF SUSPICIOUS PACKAGES WASHINGTON -- The U.S. Secret Service has intercepted two suspicious packages addressed to Secret Service

Add to Reading List

Source URL: www.secretservice.gov

Language: English - Date: 2018-10-24 09:39:05
UPDATE