1922 search results - page 42 / 385 » ie 2007 |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
In limited data tomography, with applications such as electron microscopy, medical imaging, industrial non-destructive testing, etc., the scanning views are within an angular rang...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
ADAPTIVE
2007
Springer
14 years 2 months ago
2007
Springer
In recent years, technological developments have made it possible to build interactive 3D models of objects and 3D Virtual Environments that can be experienced through the Web, usi...