13591 search results - page 2443 / 2719 » On the Implementation of Dynamic Evaluation |
165
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
193
click to vote
SSDBM
2005
IEEE
16 years 8 days ago
2005
IEEE
Modern geographic information systems do not only have to handle static information but also dynamically moving objects. Clustering algorithms for these moving objects provide new...
180
click to vote
JCDL
2005
ACM
16 years 8 days ago
2005
ACM
Most digital libraries (DLs) necessarily focus on the complex issues that arise when library collections are freed from their physical anchors in buildings and on paper. Typical i...
214
click to vote
SIGMETRICS
2005
ACM
16 years 7 days ago
2005
ACM
Wide-spread deployment of infrastructure WLANs has made Wi-Fi an integral part of today’s Internet access technology. Despite its crucial role in affecting end-to-end performan...
250
click to vote
AVBPA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...