3303 search results - page 409 / 661 » Multidimensional Access Methods |
178
Voted
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
163
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
160
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Keeping people away from litigious information becomes one of the most important research area in network information security. Indeed, Web filtering is used to prevent access to u...
180
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
207
Voted
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To our knowledge, prior work on global EDF h...