Sciweavers

3052 search results - page 466 / 611
» Engineers Don't Search
Sort
View
CSSE
2008
IEEE
14 years 3 months ago
Image Segmentation Based on 2D Otsu Method with Histogram Analysis
—Image segmentation plays an important role in image analysis and computer vision system. Among all segmentation techniques, the automatic thresholding methods are widely used be...
Jun Zhang, Jinglu Hu
ICSEA
2008
IEEE
14 years 3 months ago
Reuse through Requirements Traceability
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...
Rob Pooley, Craig Warren
ICSM
2008
IEEE
14 years 3 months ago
AutoFlow: An automatic debugging tool for AspectJ software
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
KBSE
2008
IEEE
14 years 3 months ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
TASE
2008
IEEE
14 years 3 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu