5015 search results - page 223 / 1003 » Model Checking a Path |
214
click to vote
JNW
2008
15 years 4 months ago
2008
The rapid growth of the Internet has triggered an explosion in the number of applications that leverage its capabilities. Unfortunately, many are designed to burden o infrastructur...
156
Voted
MSS
2010
IEEE
15 years 1 months ago
2010
IEEE
Following Stollery[1998], we extend the Solow, Dasgupta-Heal model to analyze the e
154
click to vote
TCBB
2008
15 years 6 months ago
2008
Under a stochastic model of molecular sequence evolution the probability of each possible pattern of characters is well defined. The Kimura's three-substitution-types (K3ST) m...
205
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
170
click to vote
VR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a real-time database modeling complex networks of intersecting roads and walkways in urban virtual environments. The database represents information about the ...