1398 search results - page 48 / 280 » The Real World Software Process |
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...
ICA
2012
Springer
12 years 4 months ago
2012
Springer
Non-negative spectrogram factorization algorithms such as probabilistic latent component analysis (PLCA) have been shown to be quite powerful for source separation. When training d...
GI
2003
Springer
14 years 1 months ago
2003
Springer
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...