Sciweavers

4270 search results - page 619 / 854
» A Permutation Approach to Validation
Sort
View
ACSAC
2005
IEEE
16 years 6 days ago
e-NeXSh: Achieving an Effectively Non-Executable Stack and Heap via System-Call Policing
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
Gaurav S. Kc, Angelos D. Keromytis
AVSS
2005
IEEE
16 years 6 days ago
A multi-feature object association framework for overlapped field of view multi-camera video surveillance systems
This work describes a data fusion technique to improve performances in objects localization and tracking for automatic video surveillance systems. The developed strategy is design...
Stefano Piva, Alessandro Calbi, Daniele Angiati, C...
BIBE
2005
IEEE
116views Bioinformatics» more  BIBE 2005»
16 years 6 days ago
Stochastic Model of Protease-Ligand Reactions
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
Paul E. Anderson, Douglas W. Raiford, Deacon J. Sw...
CIBCB
2005
IEEE
16 years 6 days ago
Feedback Memetic Algorithms for Modeling Gene Regulatory Networks
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
Christian Spieth, Felix Streichert, Jochen Supper,...
CSFW
2005
IEEE
16 years 6 days ago
Analysis of Typed Analyses of Authentication Protocols
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei