14720 search results - page 557 / 2944 » Interface |
147
click to vote
SIGDOC
1998
ACM
15 years 11 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
168
click to vote
IADIS
2004
15 years 8 months ago
2004
The management of network services is a time- and resource- consuming activity. In this paper we discuss an organizational model that reduces the cost of managing Internet Service...
233
Voted
EUSFLAT
2003
15 years 8 months ago
2003
Gambal is an information retrieval system for indexing and accessing web pages that includes graphical interfaces to ease web page search and accessing. In particular, the interfa...
169
Voted
ANLP
2000
15 years 8 months ago
2000
Acknowledgments are relatively rare in humancomputer interaction. Are people unwilling to use this human convention when talking to a machine, or is their scarcity due to the way ...
134
click to vote
FLAIRS
2000
15 years 8 months ago
2000
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...