6248 search results - page 823 / 1250 » Programming in a data factory |
174
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
162
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
161
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...
171
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
173
click to vote
SIGGRAPH
2009
ACM
16 years 1 months ago
2009
ACM
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...