7776 search results - page 1387 / 1556 » Maintaining Maintainability |
234
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
146
click to vote
SIGIR
2000
ACM
15 years 10 months ago
2000
ACM
The proliferation of online information resources increases the importance of effective and efficient distributed searching. Distributed searching is cast in three parts – datab...
166
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
152
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
This paper will discuss how the Information Services Client Services group facilitates the support of campus computer labs. It will discuss how one group consisting of three full-...
161
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...