Sciweavers

1399 search results - page 237 / 280
» Verification of Test Suites
Sort
View
SP
2010
IEEE
222views Security Privacy» more  SP 2010»
14 years 2 months ago
A Symbolic Execution Framework for JavaScript
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng...
3DPVT
2006
IEEE
247views Visualization» more  3DPVT 2006»
14 years 2 months ago
Contour-Based Object Detection in Range Images
This paper presents a novel object recognition approach based on range images. Due to its insensitivity to illumination, range data is well suited for reliable silhouette extracti...
Stefan Stiene, Kai Lingemann, Andreas Nüchter...
BIBE
2004
IEEE
14 years 2 months ago
Phylogenetic Reconstruction from Arbitrary Gene-Order Data
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
Jijun Tang, Bernard M. E. Moret, Liying Cui, Claud...
APSCC
2006
IEEE
14 years 2 months ago
A Model-Driven Aspect Framework for Grid Service Development
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
WenJun Li, ChuWei Huang, QiangChao Chen, Hui Bian
CGI
2004
IEEE
14 years 2 months ago
Consistent Normal Orientation for Polygonal Meshes
In this paper, we propose a new method that can consistently orient all normals of any mesh (if at all possible), while ensuring that most polygons are seen with their front-faces...
Pavel Borodin, Gabriel Zachmann, Reinhard Klein