Sciweavers

116 search results - page 16 / 24
» An Analysis Tool for Coupling-Based Integration Testing
Sort
View
PLDI
2009
ACM
16 years 19 days ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan
IEEEARES
2010
IEEE
15 years 10 months ago
Supporting Authorization Policy Modification in Agile Development of Web Applications
Web applications are increasingly developed in Agile development processes. Business-centric Web applications need complex authorization policies to securely implement business pro...
Steffen Bartsch
ICIP
1999
IEEE
16 years 7 months ago
Face Recognition of Video Sequences in a Mpeg-7 Context Using a Global Eigen Approach
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
Luis Lorente, Luis Torres
ASPLOS
2006
ACM
15 years 11 months ago
ExecRecorder: VM-based full-system replay for attack analysis and system recovery
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
Daniela A. S. de Oliveira, Jedidiah R. Crandall, G...
BMCBI
2008
145views more  BMCBI 2008»
15 years 6 months ago
Mapping gene expression quantitative trait loci by singular value decomposition and independent component analysis
Background: The combination of gene expression profiling with linkage analysis has become a powerful paradigm for mapping gene expression quantitative trait loci (eQTL). To date, ...
Shameek Biswas, John D. Storey, Joshua M. Akey