Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Theoretical computer science
• Software testing
• Formal methods
• Software design
• Software bug
• Software quality

Temporal Factors to evaluate trustworthiness of virtual identities Luca Longo, Pierpaolo Dondio, Stephen Barrett School of Computer Science and Statistics, Distributed System Group, Trinity College Dublin, College Green

Source URL: www.tara.tcd.ie

Stephen "Steve" Stengell MBA - President CEO of Encore Energy, Inc. Bowling Green, Kentucky (PRWEB) June 03, 2017 Steve Stengell is President CEO, Chairman and the Founder of Encore Energy, Inc. and specializes in oil an

Source URL: www.encore-energy.com

A Systematic Analysis of the Juniper Dual EC Incident Stephen Checkoway*, Shaanan Cohney** , Christina Garman† Matthew Green†, Nadia Heninger** , ††

Source URL: eprint.iacr.org

AFRL-RY-WP-TRVULNERABILITIES IN BYTECODE REMOVED BY ANALYSIS, NUANCED CONFINEMENT AND DIVERSIFICATION (VIBRANCE) Alessandro Coglio, Marcel Becker, Stephen Fitzpatrick, Limei Gilham, Cordell Green, and

Source URL: samate.nist.gov

Meeting the Challenges to Preserving Kentucky’s Biodiversity David R. Brown, PhD Assistant Professor of Biological Sciences, Eastern Kentucky University Stephen C. Richter, PhD

Source URL: people.eku.edu

• Biology
• Natural environment
• Wetlands
• Environmental engineering
• Aquatic ecology
• Habitat
• Constructed wetland
• Hemlock woolly adelgid
• Biodiversity
• Blackburnian warbler
• Black-throated green warbler
• East Kolkata Wetlands

On Improving Green Mining For Energy-Aware Software Analysis Stephen Romansky, Abram Hindle Department of Computing Science University of Alberta Edmonton, Canada

Source URL: softwareprocess.es

• Software engineering
• Software development
• Energy
• Software development process
• Version control systems
• Root-mean-square deviation
• Energy efficiency
• Version control
• Efficient energy use
• Bisection
• Energy industry
• Mathematical optimization

Contact: Stephen M BantilloRELEASE DATE May 15, 2014

Source URL: www.zankerrecycling.com

• Energy in the United States
• Building engineering
• Sustainable building
• U.S. Green Building Council
• Green building
• Recycling
• Leadership in Energy and Environmental Design

Asymmetric High-Velocity Ejecta in the Youngest Galactic Supernova Remnant  G1.9+0.3   Kazimierz Borkowski, Stephen Reynolds (North Carolina State University), David Green (Cambridge  University),  U

Source URL: cxc.cfa.harvard.edu

• Supernova remnants
• Standard candles
• Light sources
• Plasma physics
• Nebulae
• G1.9+0.3
• Supernova
• SN
• Chandra X-ray Observatory
• Cosmic distance ladder
• Type Ia supernova
• Sun

A Systematic Analysis of the Juniper Dual EC Incident Stephen Checkoway*, Shaanan Cohney†, Christina Garman‡, Matthew Green‡, Nadia Heninger†, Jacob Maskiewicz§, Eric Rescorla§, Hovav Shacham§, Ralf-Philipp We

Source URL: dualec.org

• Cryptography
• Computing
• Cryptographic protocols
• Juniper Networks
• Pseudorandom number generators
• Cryptographic nonce
• Internet protocols
• NetScreen Technologies
• Challengeresponse authentication
• ScreenOS
• Internet Key Exchange
• DiffieHellman key exchange