14670 search results - page 2533 / 2934 » Designing interaction, not interfaces |
211
click to vote
ALC
1997
15 years 8 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
173
Voted
WEBNET
1998
15 years 8 months ago
1998
Abstract: In order to remotely obtain detailed usability data by tracking user behaviors within a given web site, a server-based usability testing environment has been created. Web...
168
click to vote
CASCON
1996
15 years 8 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
190
click to vote
TREC
2007
15 years 8 months ago
2007
TREC 2007 was the second year of the Legal Track, which focuses on evaluation of search technology for discovery of electronically stored information in litigation and regulatory ...
189
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...