19 search results - page 4 / 4 » ats 2000 |
IJRR
2000
13 years 4 months ago
2000
jr.sagepub.com/cgi/content/abstract/19/2/183 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can...
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
SIGUCCS
2000
ACM
13 years 9 months ago
2000
ACM
Academic Technology Services at the University of Rochester is in the process of revamping its student staff training program. This is in an effort to provide top-notch customer s...
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...