Sciweavers

1175 search results - page 109 / 235
» Quality-Based Software Reuse
Sort
View
209
Voted
CBMS
2011
IEEE
14 years 3 months ago
Sharing object models for multi-modality medical image simulation: A semantic approach
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
Germain Forestier, Adrien Marion, Hugues Benoit-Ca...
160
Voted
CCS
2011
ACM
14 years 3 months ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...
135
Voted
EMSOFT
2005
Springer
15 years 9 months ago
HAIL: a language for easy and correct device access
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Na...
113
Voted
DAC
2002
ACM
16 years 4 months ago
Model design using hierarchical web-based libraries
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
Fabrice Bernardi, Jean François Santucci
160
Voted
STEP
2003
IEEE
15 years 9 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan