7991 search results - page 430 / 1599 » Using More Reasoning to Improve |
177
click to vote
SAINT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a reputation-based trust model for P2P applications and study it a security framework. This framework makes it easy to reason about the resilience of the...
155
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. Th...
178
click to vote
ASWEC
2005
IEEE
16 years 17 days ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
166
click to vote
CAISE
2004
Springer
16 years 10 days ago
2004
Springer
In this article, we present a model for transformation of resources in information supply. These transformations allow us to reason more flexibly about information supply, and cul...
153
click to vote
ESOP
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...