5122 search results - page 691 / 1025 » Comparing Consequence Relations |
173
click to vote
SP
2005
IEEE
16 years 10 days ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
154
click to vote
SP
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
149
Voted
WISE
2005
Springer
16 years 9 days ago
2005
Springer
Result merging is a key component in a metasearch engine. Once the results from various search engines are collected, the metasearch system merges them into a single ranked list. T...
179
click to vote
MSWIM
2005
ACM
16 years 9 days ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
165
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
: We study the problem of one dimensional selectivity estimation in relational databases. We introduce a new type of histogram based on information theory. We compare our histogram...