1008 search results - page 37 / 202 » Multiobjective process controllability analysis |
114
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
123
Voted
MIA
2011
14 years 3 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
121
Voted
IV
2010
IEEE
14 years 11 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
101
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
98
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...