8676 search results - page 1715 / 1736 » A Feature Model for an IDE4OCL |
195
click to vote
LPAR
2012
Springer
14 years 13 hour ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
150
click to vote
WSDM
2012
ACM
2012
ACM
Large-scale analysis of individual and task differences in search result page examination strategies
13 years 12 months ago
Understanding the impact of individual and task differences on search result page examination strategies is important in developing improved search engines. Characterizing these e...
167
click to vote
MOBIHOC
2012
ACM
13 years 6 months ago
2012
ACM
A key feature of wireless communications is the spatial reuse. However, the spatial aspect is not yet well understood for the purpose of designing efficient spectrum sharing mecha...
194
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Federation of geo-distributed cloud services is a trend in cloud computing which, by spanning multiple data centers at different geographical locations, can provide a cloud plat...
148
click to vote
TOG
2012
13 years 6 months ago
2012
Bubbles and foams are important features of liquid surface phenomena, but they are difficult to animate due to their thin films and complex interactions in the real world. In par...