2662 search results - page 374 / 533 » Objects-early tools: a demonstration |
144
click to vote
POPL
2011
ACM
14 years 29 days ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
178
click to vote
SACMAT
2011
ACM
14 years 28 days ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
180
Voted
SIGECOM
2011
ACM
14 years 28 days ago
2011
ACM
While social interactions are critical to understanding consumer behavior, the relationship between social and commerce networks has not been explored on a large scale. We analyze...
113
click to vote
SIGMOD
2011
ACM
14 years 28 days ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...
164
click to vote
DEXA
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Folksonomies have become a powerful tool to describe, discover, search, and navigate online resources (e.g., pictures, videos, blogs) on the Social Web. Unlike taxonomies...