2468 search results - page 260 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
158
click to vote
REX
1991
15 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
154
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
142
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The Random Demodulator (RD) and the Modulated Wideband Converter (MWC) are two recently proposed compressed sensing (CS) techniques for the acquisition of continuous-time spectral...
138
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Model compensation techniques for noise-robust speech recognition approximate the corrupted speech distribution. This paper introduces a sampling method that, given speech and noi...
144
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...