788 search results - page 110 / 158 » Design and use of a system-level specification and verificat... |
197
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
In this paper, we study the problem of applying data mining to facilitate the investigation of money laundering crimes (MLCs). We have identified a new paradigm of problems --- th...
204
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
169
click to vote
JCIT
2007
15 years 6 months ago
2007
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...
146
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...