1481 search results - page 283 / 297 » Enriching the Software Development Process by Formal Methods |
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
IPMI
2005
Springer
16 years 17 days ago
2005
Springer
Obesity has risen to epidemic levels in the United States and around the world. Global indices of obesity such as the body mass index (BMI) have been known to be inaccurate predict...
WWW
2006
ACM
16 years 12 days ago
2006
ACM
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a comprehensive strategy for evaluating image retrieval algorithms. Because automated image retrieval is only meaningful in its service to people, performance character...
CHI
2005
ACM
16 years 3 days ago
2005
ACM
We present the participatory design and evaluation of an orientation aid for individuals who have anterograde amnesia. Our design team included six amnesics who have extreme diffi...