8179 search results - page 1254 / 1636 » The PRACTIONIST Development Tool |
205
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
187
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
178
click to vote
ACMDIS
2004
ACM
16 years 6 days ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
182
Voted
SIGCOMM
2004
ACM
16 years 6 days ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
198
click to vote
VRML
2004
ACM
16 years 6 days ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...