342 search results - page 61 / 69 » Applying Concept-Driven Engineering for Business Process Spe... |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
TSE
2008
13 years 7 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
EUROMICRO
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper suggests a new image compression scheme, using the discrete wavelet transformation (DWT), which is based on attempting to preserve the texturally important image charac...
SC
2009
ACM
14 years 2 months ago
2009
ACM
MapReduce provides a parallel and scalable programming model for data-intensive business and scientific applications. MapReduce and its de facto open source project, called Hadoop...
KDD
2005
ACM
14 years 1 months ago
2005
ACM
Online auctions are generating a new class of fine-grained data about online transactions. This data lends itself to a variety of applications and services that can be provided to...