7380 search results - page 626 / 1476 » Engineering Software Intensive Systems |
195
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
171
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
173
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a user interface for wireless information devices, specifically designed to facilitate learning about users’ individual interests in daily news stories. User feedbac...
212
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
143
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...