5722 search results - page 510 / 1145 » Security Function Interactions |
125
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
112
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
A novel and rigorous Multi-perturbation Shapley Value Analysis (MSA) method has been recently presented [12]. The method addresses the challenge of defining and calculating the fu...
179
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
148
click to vote
TVCG
2010
15 years 3 months ago
2010
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
125
Voted
EOR
2010
14 years 11 months ago
2010
PACMAN (Passive and Active Compensability Multicriteria ANalysis) is a multiple criteria methodology based on a decision maker oriented notion of compensation, called compensabili...