Sciweavers

2702 search results - page 61 / 541
» Requirements Processes: An Experience Report
Sort
View
ISESE
2005
IEEE
16 years 10 days 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
160
Voted
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months 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 23 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»
16 years 6 days 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
178
Voted
VLDB
2000
ACM
118views Database» more  VLDB 2000»
15 years 10 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