342 search results - page 33 / 69 » Compositional Testing with ioco |
VISUALIZATION
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...
ICWL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
JSW
2008
13 years 8 months ago
2008
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...