2527 search results - page 264 / 506 » Software development with imperfect information |
169
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 6 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
174
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
187
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
177
click to vote
SIGECOM
2004
ACM
16 years 22 hour ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...
151
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper documents the progression through 4 methods of orienting incoming students in the use of Syracuse University’s computer systems. It discuses design issues involving: ...