4502 search results - page 673 / 901 » Regular Model Checking |
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
164
click to vote
CN
2007
15 years 6 months ago
2007
In most network security analysis, researchers mainly focus on qualitative studies on security schemes and possible attacks, and there are few papers on quantitative analysis in t...
169
click to vote
JALC
2007
15 years 6 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...
168
click to vote
JMIV
2007
15 years 6 months ago
2007
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...
171
click to vote
IVC
2000
15 years 6 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...