5015 search results - page 234 / 1003 » Model Checking a Path |
157
click to vote
BDA
2004
15 years 7 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
160
click to vote
CICLING
2007
Springer
16 years 18 days ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
169
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
160
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
149
click to vote
IPL
2011
15 years 1 months ago
2011
In this paper, we study the stationary node distribution of a variation of the Random Waypoint mobility model, in which nodes move in a smooth way following one randomly chosen Ma...