3255 search results - page 368 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
186
click to vote
WACV
2005
IEEE
16 years 7 days ago
2005
IEEE
The performance of face recognition systems that use two-dimensional images depends on consistent conditions w.r.t. lighting, pose, and facial appearance. We are developing a face...
153
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...
170
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
186
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...