3047 search results - page 240 / 610 » A Temporal Consensus Model |
190
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
213
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
177
click to vote
JCNS
2006
15 years 7 months ago
2006
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
207
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
183
click to vote
AIME
2005
Springer
16 years 23 days ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...