9067 search results - page 1717 / 1814 » Adaptive Model Checking |
178
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
We revisit the venerable question of access credentials management, which concerns the techniques that we, humans with limited memory, must employ to safeguard our various access ...
184
click to vote
KDD
2001
ACM
16 years 6 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...
143
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
268
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
184
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
The non-existence of an end-to-end path poses a challenge in adapting the traditional routing algorithms to delay tolerant networks (DTNs). Previous works include centralized rout...