6 search results - page 1 / 2 » rv 2009 |
RV
2009
Springer
13 years 9 months ago
2009
Springer
WIKIS
2009
ACM
13 years 11 months ago
2009
ACM
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
MICCAI
2009
Springer
14 years 2 months ago
2009
Springer
Tetralogy of Fallot (ToF) is a severe congenital heart disease that mainly affects the right ventricle (RV). It requires surgical repair early in infancy. Chronic regurgitations ma...
RV
2009
Springer
13 years 11 months ago
2009
Springer
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
RV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...