5196 search results - page 172 / 1040 » State of Application Assessment |
138
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
138
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
130
click to vote
CHI
1993
ACM
15 years 7 months ago
1993
ACM
The object-oriented history mechanism of the GINA application framework and its relevance for multi-user applications are demonstrated. The interaction history of a document is re...
104
Voted
IGARSS
2010
15 years 1 months ago
2010
The NASA Soil Moisture Active Passive (SMAP) Mission will provide global observations of soil moisture and freeze/thaw state from space. We outline how priority applications contr...
157
Voted
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...