22018 search results - page 4117 / 4404 » or 2004 |
170
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
176
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
174
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
Static program checking tools can ļ¬nd many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
188
click to vote
SIGUCCS
2004
ACM
16 years 3 days ago
2004
ACM
Academic institutionsā dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
186
click to vote
SIGUCCS
2004
ACM
16 years 3 days ago
2004
ACM
Designing computing equipment for a computer laboratory is not easy. In a class in a computer laboratory, it is not unusual that all students do the same thing simultaneously. Tre...