Sciweavers

42507 search results - page 476 / 8502
» On the analysis of
Sort
View
TCS
2010
15 years 5 months ago
A combinatorial approach to the analysis of bucket recursive trees
In this work we provide a combinatorial analysis of bucket recursive trees, which have been introduced previously as a natural generalization of the growth model of recursive trees...
Markus Kuba, Alois Panholzer
WCRE
2010
IEEE
15 years 5 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu
194
Voted
BPSC
2010
139views Business» more  BPSC 2010»
15 years 5 months ago
Static Information Flow Analysis of Workflow Models
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
Rafael Accorsi, Claus Wonnemann
ICPR
2010
IEEE
15 years 5 months ago
Multiscale Analysis from 1D Parametric Geometric Decomposition of Shapes
This paper deals with the construction of a non parametric multiscale analysis from a 1D parametric decomposition of shapes where the elements of the decomposition are geometric p...
Fabien Feschet
SICHERHEIT
2010
15 years 5 months ago
A Malware Instruction Set for Behavior-Based Analysis
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...
Philipp Trinius, Carsten Willems, Thorsten Holz, K...