Sciweavers

1054 search results - page 91 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
DSN
2008
IEEE
16 years 22 days 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
SIGMOD
2007
ACM
207views Database» more  SIGMOD 2007»
16 years 6 months ago
MySearchView: a customized metasearch engine generator
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
Yiyao Lu, Zonghuan Wu, Hongkun Zhao, Weiyi Meng, K...
ICALT
2008
IEEE
16 years 22 days ago
Deriving E-Assessment from a Competency Model
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
DSN
2000
IEEE
15 years 10 months ago
Resource Scheduling in Dependable Integrated Modular Avionics
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...

Presentation
1575views
17 years 4 months ago
Beyond Generating Transit Performance Measures: Visualizations and Statistical Analysis using Historical Data
In recent years, the use of performance measures for transit planning and operations has gained a great deal of attention, particularly as transit agencies are required to provide ...
M. Berkow, A. El-Geneidy, R.L. Bertini, D. Crout