112 search results - page 8 / 23 » Information Flow Analysis of Android Applications in DroidSa... |
85
Voted
IDA
2009
Springer
15 years 2 months ago
2009
Springer
Knowledge extraction from data volumes of ever increasing size requires ever more flexible tools to facilitate interactive query. Interactivity enables real-time hypothesis testin...
ICIP
1994
IEEE
15 years 11 months ago
1994
IEEE
Motion information is essential in many computer vision and video analysis tasks. Since MPEG is still one of the most prevalent formats for representing, transferring and storing ...
89
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
97
Voted
CJ
2010
14 years 7 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...