9325 search results - page 1494 / 1865 » The decentralized implementability problem |
125
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Cyberinsurance is a powerful tool to align market incentives toward improving Internet security. We trace the evolution of cyberinsurance from traditional insurance policies to ear...
130
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
117
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We consider the multiple-access communication problem in a distributed setting for both the additive white Gaussian noise channel and the discrete memoryless channel. We propose a ...
152
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We consider two kinds of problems: the computation of polynomial and rational solutions of linear recurrences with coefficients that are polynomials with integer coefficients; ind...
147
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...