4880 search results - page 789 / 976 » Mechanism Design by Creditability |
148
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
137
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
171
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The design of sensor networks capable of reaching a consensus on a globally optimal decision test, without the need for a fusion center, is a problem that has received considerable...
119
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper is about an information retrieval evaluation on three different retrieval-supporting services. All three services were designed to compensate typical problems that aris...
186
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...