Sciweavers

87 search results - page 3 / 18
» Dependability assessment of software-based systems: state of...
Sort
View
IPPS
2009
IEEE
14 years 1 months ago
Input-independent, scalable and fast string matching on the Cray XMT
String searching is at the core of many security and network applications like search engines, intrusion detection systems, virus scanners and spam filters. The growing size of o...
Oreste Villa, Daniel G. Chavarría-Miranda, ...
DSN
2008
IEEE
14 years 1 months ago
Automatic security assessment of critical cyber-infrastructures
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
Zahid Anwar, Ravinder Shankesi, Roy H. Campbell
IGARSS
2009
13 years 4 months ago
Integrating Remote Sensing and Ancillary Data for Regional Ecosystem Assessment: Eucalyptus Grandis Agro-system in KwaZulu-Natal
The ability of various ecosystems to perform vital functions such as biodiversity production, and water, energy and nutrient cycling depends on the ecosystem state, i.e. health. E...
Moses Azong Cho, Jan van Aardt, Bongani Majeke, Ru...
HYBRID
2004
Springer
14 years 10 days ago
Observability of Switched Linear Systems
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
Mohamed Babaali, Magnus Egerstedt
DIS
2007
Springer
14 years 1 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton