Sciweavers

3121 search results - page 402 / 625
» Information Survivability Control Systems
Sort
View
ASSETS
2010
ACM
15 years 6 months ago
Customizable keyboard
Customizable Keyboard is an on-screen keyboard designed to be flexible and expandable. Instead of giving the user a keyboard layout Customizable Keyboard allows the user to create...
Eric S. Missimer, Samuel Epstein, John J. Magee, M...
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 6 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
SIGSOFT
2010
ACM
15 years 4 months ago
Climate change: a grand software challenge
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
Steve M. Easterbrook
FAST
2009
15 years 4 months ago
Application of Named Graphs Towards Custom Provenance Views
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
Tara Gibson, Karen Schuchardt, Eric G. Stephan