Sciweavers

16725 search results - page 2776 / 3345
» Engineering Software Correctness
Sort
View
ACMICEC
2006
ACM
144views ECommerce» more  ACMICEC 2006»
16 years 1 months ago
Entrepreneurship in mobile application development
The growth of mobile commerce will require development of both demand and supply sides of the market. On the supply side, the development of mobile applications (e.g. games, calen...
Ankur Tarnacha, Carleen F. Maitland
ISSTA
2006
ACM
16 years 1 months ago
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
Rahul Agarwal, Scott D. Stoller
ISSTA
2006
ACM
16 years 1 months ago
Towards self-adaptive service-oriented architectures
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
Giovanni Denaro, Mauro Pezzè, Davide Tosi, ...
ML
2006
ACM
122views Machine Learning» more  ML 2006»
16 years 1 months ago
Type-safe modular hash-consing
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Jean-Christophe Filliâtre, Sylvain Conchon
MSR
2006
ACM
16 years 1 months ago
Enriching revision history with interactions
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
Chris Parnin, Carsten Görg, Spencer Rugaber
« Prev « First page 2776 / 3345 Last » Next »