3384 search results - page 253 / 677 » More Testable Properties |
150
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
Gliomas are diffuse, invasive brain tumors. We propose a 3D classification-based diffusion model, cdm, that predicts how a glioma will grow at a voxel-level, on the basis of featur...
156
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
170
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
158
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Loyalty systems provide an interesting possibility for vendors in customer relationship management. This holds for both real world and online vendors. Beside potential benefits of...
193
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...