5639 search results - page 203 / 1128 » Timed Abstract Non-interference |
134
click to vote
QEST
2010
IEEE
15 years 12 days ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
115
click to vote
DA
2010
14 years 12 months ago
2010
. Direct approaches, which involve asking patients various abstract questions, have significant drawbacks. We propose a new approach that infers patient preferences based on observ...
123
Voted
VLSISP
2011
14 years 9 months ago
2011
Abstract Fractional Motion Estimation (FME) in highdefinition H.264 presents a significant design challenge in terms of memory bandwidth, latency and area cost as there are various...
112
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract Internet auction fraud has become prevalent. Methodologies for detecting fraudulent transactions use historical information about Internet auction participants to decide w...
157
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...