4270 search results - page 324 / 854 » A Permutation Approach to Validation |
160
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
142
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
180
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
193
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The principal deficiency of image-based visual servoing is that the induced (3D) trajectories are not optimal and sometimes, especially when the displacement to realize is large,...