19700 search results - page 3866 / 3940 » DNA-Based Computation Times |
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
The Web Documentation Project at the University of Delaware (UD) organizes the computing help information available to the University community. The project’s goal is to provide...
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...
DDEP
2000
Springer
14 years 1 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...