859 search results - page 76 / 172 » Implementing CMMI using a Combination of Agile Methods |
180
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
155
click to vote
JMLR
2006
15 years 4 months ago
2006
While classical kernel-based learning algorithms are based on a single kernel, in practice it is often desirable to use multiple kernels. Lanckriet et al. (2004) considered conic ...
126
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a flexible framework for the online evaluation of collaborative project-oriented e-learning platforms. The framework was developed for the evaluation of the COOP...
146
click to vote
CLIMA
2004
15 years 6 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
135
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...