22698 search results - page 4105 / 4540 » Modeling in Software Engineering |
158
click to vote
ICAS
2009
IEEE
16 years 28 days ago
2009
IEEE
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
149
click to vote
WDAG
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
165
click to vote
CSL
2009
Springer
16 years 23 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
151
click to vote
RECSYS
2009
ACM
16 years 21 days ago
2009
ACM
This thesis investigates application of clustering to multi-criteria ratings as a method of improving the precision of top-N recommendations. With the advent of ecommerce sites th...
141
click to vote
HAPTICS
2008
IEEE
16 years 19 days ago
2008
IEEE
We present a floor tile designed to provide the impression of walking on different ground materials, such as gravel, carpet, or stone. The device uses affordable and commerciall...