9325 search results - page 431 / 1865 » The decentralized implementability problem |
134
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
169
click to vote
WINE
2007
Springer
15 years 11 months ago
2007
Springer
We revisit the problem of incentive-compatible interdomain routing, examining the, quite realistic, special case in which the autonomous systems’ (ASes’) utilities are linear f...
139
click to vote
IIHMSP
2006
IEEE
15 years 11 months ago
2006
IEEE
Currently, the requirements on MPEG encryption algorithms include: fast speed, format compliance, a wide range of security levels, easy implementation, etc. However, promising can...
112
click to vote
DIM
2006
ACM
15 years 11 months ago
2006
ACM
With the advancement in user-centric and URI-based identity systems over the past two years, it has become clear that a single specification will not be the solution to all proble...
127
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...