613 search results - page 77 / 123 » Executable Visual Contracts |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
IAT
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a web-based system to monitor the quality of the meta-data used to describe content in web portals. The system implements meta-data analysis using statistical, visualiz...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
MICRO
1999
IEEE
14 years 2 months ago
1999
IEEE
3D graphics performance is increasing faster than any other computing application. Almost all PC systems now include 3D graphics accelerators for games, CAD, or visualization appl...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...