984 search results - page 135 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
164
Voted
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
117
click to vote
TEI
2010
ACM
15 years 10 months ago
2010
ACM
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...
111
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
The Platform for Privacy Preferences (P3P) can be a viable tool for organizations to clarify their privacy promises. In this paper, we summarize our experiences and describe some ...
102
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
160
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...