Sciweavers

3192 search results - page 120 / 639
» A Requirements-Driven Development Methodology
Sort
View
SIGKDD
2002
232views more  SIGKDD 2002»
15 years 4 months ago
The True Lift Model - A Novel Data Mining Approach to Response Modeling in Database Marketing
In database marketing, data mining has been used extensively to find the optimal customer targets so as to maximize return on investment. In particular, using marketing campaign d...
Victor S. Y. Lo
AOSE
2008
Springer
15 years 7 months ago
A Unified Graphical Notation for AOSE
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
Lin Padgham, Michael Winikoff, Scott A. DeLoach, M...
PIMRC
2010
IEEE
15 years 2 months ago
Statistical Learning-based Automated Healing: Application to mobility in 3G LTE networks
Abstract--Troubleshooting of wireless networks is a challenging network management task. We have developed, in a previous work, a new troubleshooting methodology, which we named St...
Moazzam Islam Tiwana, Berna Sayraç, Zwi Alt...
DAC
2011
ACM
14 years 4 months ago
Synchronous sequential computation with molecular reactions
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
Hua Jiang, Marc D. Riedel, Keshab K. Parhi
POPL
2012
ACM
14 years 16 days ago
Recursive proofs for inductive tree data-structures
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Ste...