5900 search results - page 868 / 1180 » Dependable Systems |
181
click to vote
MCM
2010
15 years 1 months ago
2010
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
170
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
136
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
174
click to vote
DOCENG
2004
ACM
16 years 4 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
182
click to vote
DFT
2003
IEEE
16 years 5 hour ago
2003
IEEE
This paper presents an approach for integrating fault-tolerance techniques into microprocessors by utilizing instruction redundancy as well as time redundancy. Smaller and smaller...