6455 search results - page 851 / 1291 » Research problems |
222
click to vote
RTCSA
1998
IEEE
15 years 11 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
209
click to vote
ADL
1998
Springer
15 years 11 months ago
1998
Springer
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...
208
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
161
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Electronic Data Interchange (EDI), an example of an Inter-Organisational System (IOS), has the potential to provide companies with tangible benefits, such as improvements to overa...
172
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...