859 search results - page 47 / 172 » Implementing CMMI using a Combination of Agile Methods |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
In this paper, we implement an anomaly detection system using the Dempster-Shafer method. Using two standard benchmark problems we show that by combining multiple signals it is pos...
107
click to vote
IVC
2006
14 years 11 months ago
2006
This paper presents a method for multi camera image tracking in the context of image surveillance. The approach differs from most methods in that we exploit multiple camera views ...
CADE
2007
Springer
16 years 3 days ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
TVLSI
1998
14 years 11 months ago
1998
— Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches or registers. The combination of hig...