1288 search results - page 143 / 258 » On Analysis of Design Component Contracts: A Case Study |
118
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...
113
click to vote
CONCURRENCY
2002
15 years 1 months ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
149
click to vote
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
104
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, we study the calibration of head pose estimation in stereo camera setting for meeting room video event analysis. Head pose information infers the direction of atten...
133
click to vote
CODES
2011
IEEE
14 years 1 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...