Sciweavers

3116 search results - page 480 / 624
» Positively dependent types
Sort
View
ISN
1995
Springer
15 years 10 months ago
Counting the Costs and Benefits of Metaphor
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 ...
Chris Condon, Stephan Keuneke
CONCUR
1991
Springer
15 years 10 months ago
A Method for the Development of Totally Correct Shared-State Parallel Programs
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...
Ketil Stølen
GPC
2009
Springer
15 years 9 months ago
Balanced Scheduling Algorithm Considering Availability in Mobile Grid
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...
JongHyuk Lee, SungJin Song, JoonMin Gil, KwangSik ...
WSC
2007
15 years 8 months ago
High-performance computing enables simulations to transform education
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...
Dan M. Davis, Thomas D. Gottschalk, Laurel K. Davi...
APGV
2008
ACM
149views Visualization» more  APGV 2008»
15 years 8 months ago
HMD calibration and its effects on distance judgments
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...
Scott A. Kuhl, William B. Thompson, Sarah H. Creem...