Sciweavers

2748 search results - page 296 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
JEI
2008
93views more  JEI 2008»
15 years 4 months ago
Novel workflow for image-guided gamut mapping
We introduce a novel workflow that will hopefully open new directions of processing and improvement in image reproduction. Existing gamut mapping algorithms can be classified into ...
Asaf Golan, Hagit Hel-Or
TSE
1998
85views more  TSE 1998»
15 years 3 months ago
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh
ICDCSW
2006
IEEE
15 years 10 months ago
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
Raquel S. Whittlesey-Harris, Mikhail Nesterenko
ISI
2006
Springer
15 years 4 months ago
Database Security Protection Via Inference Detection
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...
Yu Chen, Wesley W. Chu
SPLC
2000
15 years 5 months ago
Two Novel Concepts for systematic product line development
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
Alessandro Pasetti, Wolfgang Pree