Sciweavers

4276 search results - page 74 / 856
» Techniques for Empirical Validation
Sort
View
ASAP
2007
IEEE
133views Hardware» more  ASAP 2007»
15 years 10 months ago
An Efficient Hardware Support for Control Data Validation
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
Yong-Joon Park, Zhao Zhang, Gyungho Lee
ICDM
2009
IEEE
138views Data Mining» more  ICDM 2009»
15 years 4 months ago
Accurate Discovery of Valid Convoys from Moving Object Trajectories
Given a set of moving object trajectories, it is of interest to find a group of objects, called a convoy, that are spatially density-connected for a certain duration of time. Howev...
Hyunjin Yoon, Cyrus Shahabi
CEC
2007
IEEE
16 years 21 days ago
On some symmetry based validity indices
—Identification of the correct number of clusters and the corresponding partitioning are two important considerations in clustering. In this paper, a newly developed point symme...
Sriparna Saha, Sanghamitra Bandyopadhyay
ICSE
2007
IEEE-ACM
16 years 15 days ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
EUROPAR
2006
Springer
15 years 10 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter