3116 search results - page 480 / 624 » Positively dependent types |
140
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
It has been demonstrated that the use of suitable metaphors in the user service interface can have a dramatic effect on the way in which the user perceives the services, depending ...
212
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
177
click to vote
GPC
2009
Springer
15 years 9 months ago
2009
Springer
The emerging Grid is extending the scope of resources to mobile devices and sensors that are connected through unreliable networks. Nowadays the number of mobile device users is in...
155
click to vote
WSC
2007
15 years 8 months ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
167
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
Most head-mounted displays (HMDs) suffer from substantial optical distortion, and vendor-supplied specifications for field-of-view often are at variance with reality. Such display...