1581 search results - page 174 / 317 » Mechanizing Inductive Reasoning |
150
click to vote
IAT
2006
IEEE
16 years 12 days ago
2006
IEEE
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
157
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— Traceback mechanisms are a critical part of the defense against IP spoofing and DoS attacks, as well as being of forensic value to law enforcement. Currently proposed IP trace...
193
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasingly large-scale clusters of PC/WS continue to become majority platform in HPC field. Such a commodity cluster environment, there may be incremental upgrade due to severa...
188
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
173
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...