15860 search results - page 2882 / 3172 » Agent-Based Software Engineering |
149
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
142
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
140
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
GINI (GINI Is Not Internet) is an open-source toolkit for creating virtual micro Internets for teaching and learning computer networking. It provides lightweight virtual elements ...
156
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a generalization of Regression Error Characteristic (REC) curves. REC curves describe the cumulative distribution function of the prediction error of models an...
124
Voted
CHI
2008
ACM
2008
ACM
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
16 years 4 months ago
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...