3971 search results - page 687 / 795 » On the Use of Properties in Java Applications |
148
click to vote
ENTCS
2008
15 years 4 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
123
click to vote
CSDA
2006
15 years 4 months ago
2006
Standard median filters preserve abrupt shifts (edges) and remove impulsive noise (outliers) from a constant signal but they deteriorate in trend periods. Finite impulse response ...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
152
click to vote
IJRR
2008
15 years 4 months ago
2008
: This paper presents an image-based visual servoing strategy for the autonomous navigation of a mobile holonomic robot from a current toward a desired pose, specified only through...
155
click to vote
IJAIT
2006
15 years 4 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...