4962 search results - page 402 / 993 » Stochastic Model Checking |
154
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We consider the prediction of a target’s destination and simultaneously recover its filtered trajectory. Two novel models for trajectories with known destinations are presented...
126
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
96
Voted
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all no...
148
click to vote
ISIM
2007
15 years 5 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
140
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...