8947 search results - page 1424 / 1790 » Improving software quality |
174
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
166
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. BitTorrent users and consumer ISPs are often pictured as having opposite interests, with end-users aggressively trying to improve their download times, while ISPs throttl...
149
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Event processing systems are a promising technology for enterprise-scale applications. However, achieving scalability yet maintaining high performance is a challenging problem. Th...
164
click to vote
RECSYS
2009
ACM
16 years 1 months 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...
172
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...