1599 search results - page 247 / 320 » Statistic Analysis for Probabilistic Processes |
116
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
149
click to vote
CHI
1999
ACM
15 years 7 months ago
1999
ACM
Over the last two centuries, reading styles have shifted away from the reading of documents from beginning to end and toward the skimming of documents in search of relevant inform...
157
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
Soft errors are a growing concern for processor reliability. Recent work has motivated architecture-level studies of soft errors since the architecture can mask many raw errors an...
130
Voted
ICWSM
2010
15 years 4 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...
122
Voted
DMIN
2006
15 years 4 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...