2004 search results - page 342 / 401 » Comparison of Model Checking Tools for Information Systems |
107
click to vote
IVC
2007
14 years 11 months ago
2007
A unified evolutionary approach to coplanar radiotherapy inverse planning is proposed. It consists of a genetic algorithm-based framework that solves with little modification tr...
FDTC
2009
Springer
15 years 6 months ago
2009
Springer
—In order to protect crypto-systems against side channel attacks various countermeasures have been implemented such as dual-rail logic or masking. Faults attacks are a powerful t...
ENTCS
2006
14 years 12 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
109
click to vote
MANSCI
2007
14 years 11 months ago
2007
Selection procedures are used in a variety of applications to select the best of a finite set of alternatives. ‘Best’ is defined with respect to the largest mean, but the me...
101
click to vote
VIS
2007
IEEE
16 years 1 months ago
2007
IEEE
We have combined methods from volume visualization and data analysis to support better diagnosis and treatment of human retinal diseases. Many diseases can be identified by abnorma...