2838 search results - page 251 / 568 » Verifying Controlled Components |
103
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Registration of point clouds is required in the processing of large biological data sets. The tradeoff between computation time and accuracy of the registration is the main challen...
103
Voted
MKWI
2008
15 years 2 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
130
click to vote
AIPS
2006
15 years 2 months ago
2006
In this paper, we present a motion planning framework for a fully deployed autonomous unmanned aerial vehicle which integrates two sample-based motion planning techniques, Probabi...
100
Voted
AIEDU
2008
15 years 29 days ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...