Sciweavers

1403 search results - page 20 / 281
» Quantitative Interprocedural Analysis
Sort
View
APSCC
2008
IEEE
14 years 3 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole
HASE
2008
IEEE
14 years 3 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
GI
2009
Springer
14 years 1 months ago
NeuroQLab - A Software Assistant for Neurosurgical Planning and Quantitative Image Analysis
Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...
Florian Weiler, Jan Rexilius, Jan Klein, Horst K. ...
ICDM
2008
IEEE
109views Data Mining» more  ICDM 2008»
14 years 3 months ago
Quantitative Association Analysis Using Tree Hierarchies
Association analysis arises in many important applications such as bioinformatics and business intelligence. Given a large collection of measurements over a set of samples, associ...
Feng Pan, Lynda Yang, Leonard McMillan, Fernando P...
MICCAI
2005
Springer
14 years 9 months ago
Fiber Tract-Oriented Statistics for Quantitative Diffusion Tensor MRI Analysis
Diffusion tensor imaging (DTI) has become the major modality to study properties of white matter and the geometry of fiber tracts of the human brain. Clinical studies mostly focus ...
Isabelle Corouge, P. Thomas Fletcher, Sarang C. Jo...