9006 search results - page 1447 / 1802 » Modeling Software |
152
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
117
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
130
click to vote
TEI
2010
ACM
15 years 11 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...
163
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
134
click to vote
SBP
2010
Springer
15 years 11 months ago
2010
Springer
Open source communities have been of great interest for researchers recently, yet little can be agreed upon when it comes to developers motives. While it has been shown that partic...