4099 search results - page 634 / 820 » A Framework for Interactive Proof |
116
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
147
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
131
click to vote
CASDMKM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
141
Voted
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
Collaborative filtering and content-based filtering are two types of information filtering techniques. Combining these two techniques can improve the recommendation effectiveness....
123
click to vote
EMISA
2004
Springer
15 years 10 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...