5961 search results - page 508 / 1193 » Design Science and Software Engineering |
150
click to vote
XPU
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...
181
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...
218
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the design and implementation of the Office Assistant – an agent that interacts with visitors at the office door and manages the office owner’s schedule. ...
161
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
We present a new system, called Cirrin, for pen input of ASCII characters using word-level unistrokes. Our system addresses the tradeoff between speed and accuracy of penbased tex...
162
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...