1356 search results - page 47 / 272 » The ideal of verified software |
IADIS
2004
15 years 1 months ago
2004
Our objective is to obtain the level of usability of a software application over the different tasks for which it has been developed. Nowadays, usability is measured through diffe...
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
102
click to vote
DIAGRAMS
2006
Springer
15 years 3 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
ENVSOFT
2007
14 years 11 months ago
2007
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
197
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...