Sciweavers

12551 search results - page 2192 / 2511
» Reuse in Systems Engineering
Sort
View
ISSTA
2004
ACM
16 years 6 days ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
IUI
2004
ACM
16 years 5 days ago
Evaluating adaptive user profiles for news classification
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...
Ricardo Carreira, Jaime M. Crato
IUI
2004
ACM
16 years 5 days ago
Identifying adaptation dimensions in digital talking books
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
Carlos Duarte, Luís Carriço
SIGITE
2004
ACM
16 years 5 days ago
Keeping family of computing related disciplines together
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
Reza Kamali, Lillian N. Cassel, Richard J. LeBlanc
SIGSOFT
2004
ACM
16 years 5 days ago
Correlation exploitation in error ranking
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R...
« Prev « First page 2192 / 2511 Last » Next »