13917 search results - page 49 / 2784 » Abstraction of Probabilistic Systems |
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
RV
2007
Springer
15 years 3 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
SIGIR
2000
ACM
15 years 2 months ago
2000
ACM
Abstract We introduce OCELOT, a prototype system for automatically generating the “gist” of a web page by summarizing it. Although most text summarization research to date has ...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer