2493 search results - page 400 / 499 » Tool Support for Design by Contract |
101
click to vote
KBSE
2010
IEEE
14 years 7 months ago
2010
IEEE
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
191
click to vote
FCCM
2011
IEEE
14 years 1 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
166
click to vote
ICDE
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the design and analysis of a customized access method for the content-based image retrieval system, Blobworld. Using the amdb access method analysis tool, we analyzed t...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Mobile phones have become a ubiquitous technology and for many people a daily companion, primarily used for communication and information access. The fact that the phone is accomp...