On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme

Source URL: mbeddr.com

• Formal methods
• Theoretical computer science
• Software engineering
• Systems engineering
• Software testing
• Quality
• Software quality
• Software verification and validation
• Formal verification
• Functional verification
• Model checking
• Verification and validation

Risk Disclosure Statement IMPORTANT NOTICE FOR RESIDENTS OF JAPAN: This Risk Disclosure Statement does not apply to you if you reside in Japan or if you are using or accessing the Services on behalf of an entity that is

Source URL: quoine-prod.s3.amazonaws.com

• Economy
• Money
• Finance
• Financial law
• Financial markets
• United States housing bubble
• Banking
• Market liquidity
• Liquidity risk
• Financial risk
• Bitcoin
• Futures contract

REPORT OF THE EUROPEAN COMMISSION PUBLIC CONSULTATION ON OPEN RESEARCH DATA Executive summary and key outcomes The European Commission held a public consultation on open research data on 2 July 2013 in Brussels, which wa

Source URL: ec.europa.eu

• Computing
• Information
• Data management
• Data management plan
• Open data
• Big data
• Data sharing
• Open by default
• Data mining
• Data center
• Data curation
• Open science

White House Summit on Behavioral-Science Insights September 15, 2016 | 1:00 PM – 3:30 PM Eisenhower Executive Office Building, South Court Auditorium Welcome Maya Shankar, Assistant Director for Behavioral Science, Off

Source URL: sbst.gov

• Fellows of the American Association for the Advancement of Science
• Science and technology in the United States
• Executive Office of the President of the United States
• Maya Shankar
• Office of Science and Technology Policy
• Social and Behavioral Sciences Team
• John Holdren
• Cass Sunstein
• United States
• Harvard University
• Philip Rubin

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org

1 On iBGP Routing Policies Stefano Vissicchio, Luca Cittadini, Giuseppe Di Battista Abstract—Internet Service Providers (ISPs) run the internal

Source URL: www0.cs.ucl.ac.uk

• Computing
• Internet architecture
• Routing
• Network architecture
• Internet
• Internet Standards
• Computer networking
• Border Gateway Protocol
• Route reflector
• Router
• Default-free zone
• Open Shortest Path First

Science Europe Position Statement On a New Vision for More Meaningful Research Impact Assessment J uly 2017

Source URL: www.scienceeurope.org

• Knowledge
• Evaluation
• Research Excellence Framework
• Research
• Science
• Natural environment
• Impact assessment
• Social impact assessment
• Environmental impact assessment

Impact Analysis on Farrell Encampment Sweeps Coalition on Homelessness, April/May 2018 The Coalition on Homelessness has been vigorously documenting the impact of the Farrell sweeps that commenced on Wednesday April 25 t

Source URL: www.cohsf.org

• Homelessness
• Housing
• Humanitarian aid
• Poverty
• Socioeconomics
• Tent city
• Homeless shelter
• Culture
• Economy
• Structure
• Homelessness in the San Francisco Bay Area
• Draft:Homes NOW Not Later

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

Source URL: www.epic.org

• Russian interference in the 2016 United States elections
• Foreign electoral intervention
• United States intelligence agencies
• Hillary Clinton presidential campaign
• Government
• Electoral fraud
• United States Department of Justice
• Marc Rotenberg
• Electronic Privacy Information Center
• Assessing Russian Activities and Intentions in Recent US Elections
• Peter Strzok
• Trey Gowdy

Author manuscript, published in "WEEDWorkshop on Energy-Efficient Design (2010)" The Search for Energy-Efficient Building Blocks for the Data Center inria, versionJun 2010

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer architecture
• Computer hardware
• Microprocessors
• Parallel computing
• Benchmark
• Opteron
• Advanced Micro Devices
• Multi-core processor
• Intel Atom
• Central processing unit
• Intel