4270 search results - page 269 / 854 » A Permutation Approach to Validation |
134
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— The latest technological progress in sensors, actuators and energy storage devices enables the developments of miniature VTOL1 systems. In this paper we present the res...
154
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
178
click to vote
ADHOCNOW
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. This paper gives a simple continuum model for generic proactive routing protocols in a mobile ad-hoc network. Rate constants characterize the routing protocol and the net...
147
click to vote
ICIAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We address the validation of the current sensed environmental state against a model known from earlier perception. Our surface based approach compares 3D range data of a ...
162
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations ...