2849 search results - page 396 / 570 » As We Should Have Thought |
171
click to vote
ERCIMDL
1999
Springer
15 years 10 months ago
1999
Springer
As current digital libraries are becoming more complex, the facilities provided by them will increase and the difficulty of learning associated with the complexity of using these f...
167
click to vote
HUC
1999
Springer
15 years 10 months ago
1999
Springer
Mobile information appliances are increasingly used in numerous different situations and locations, setting new requirements to their interaction methods. When the user's situ...
190
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
194
click to vote
IWAI
1999
Springer
15 years 10 months ago
1999
Springer
Networked multimedia applications, such as videoconferencing, offer great communicative opportunities. Since the financial cost of using such a service increases in line with the q...
166
click to vote
CANPC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Modern networks of workstations connected by Gigabit networks have the ability to run high-performance computing applications at a reasonable performance, but at a signi ...