7209 search results - page 610 / 1442 » Software Engineering for Multi-Agent Systems |
158
click to vote
AUIC
2002
IEEE
15 years 9 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 ...
143
Voted
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partly fixed. At tha...
136
click to vote
KBSE
2000
IEEE
15 years 9 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...
127
click to vote
IUI
2000
ACM
15 years 9 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...
163
Voted
IUI
2000
ACM
15 years 9 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...