Sciweavers

1175 search results - page 109 / 235
» Quality-Based Software Reuse
Sort
View
CBMS
2011
IEEE
14 years 6 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...
192
Voted
CCS
2011
ACM
14 years 6 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...
EMSOFT
2005
Springer
15 years 11 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...
DAC
2002
ACM
16 years 7 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
192
Voted
STEP
2003
IEEE
15 years 11 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