4372 search results - page 101 / 875 » Data Semantics Revisited |
ALGORITHMICA
2002
13 years 7 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
CONCURRENCY
2010
13 years 6 months ago
2010
The cancer Biomedical Informatics Grid (caBIG) is revolutionizing the way medical researchers share information and collaborate. A key to caBIG's continued success will be in...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...