Sciweavers

2702 search results - page 61 / 541
» Requirements Processes: An Experience Report
Sort
View
ISESE
2005
IEEE
15 years 12 months ago
The use and usefulness of the ISO/IEC 9126 quality standard
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
Hiyam Al-Kilidar, Karl Cox, Barbara Kitchenham
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 25 days ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
ICRA
2006
IEEE
88views Robotics» more  ICRA 2006»
16 years 9 days ago
Real-time 3D Ultrasound-based Servoing of a Surgical Instrument
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
Jeffrey A. Stoll, Paul M. Novotny, Robert D. Howe,...
VLDB
2005
ACM
125views Database» more  VLDB 2005»
15 years 11 months ago
Using Association Rules for Fraud Detection in Web Advertising Networks
Discovering associations between elements occurring in a stream is applicable in numerous applications, including predictive caching and fraud detection. These applications requir...
Ahmed Metwally, Divyakant Agrawal, Amr El Abbadi
VLDB
2000
ACM
118views Database» more  VLDB 2000»
15 years 9 months ago
Decision Tables: Scalable Classification Exploring RDBMS Capabilities
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...
Hongjun Lu, Hongyan Liu