3047 search results - page 344 / 610 » A Temporal Consensus Model |
185
click to vote
ICASSP
2007
IEEE
16 years 23 days ago
2007
IEEE
— Within-subject analysis in event-related functional Magnetic Resonance Imaging (fMRI) first relies on (i) a detection step to localize which parts of the brain are activated b...
199
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
166
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
165
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
170
click to vote
HVC
2005
Springer
16 years 2 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...