3828 search results - page 529 / 766 » Proof-Based System Engineering Using a Virtual System Model |
204
Voted
EHCI
1998
15 years 8 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
195
click to vote
PAMI
2006
15 years 6 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
195
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
151
click to vote
IUI
2005
ACM
16 years 7 days ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...
183
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Can we predict locations of future refactoring based on the development history? In an empirical study of open source projects we found that attributes of software evolution data ...