842 search results - page 128 / 169 » Open Implementation Design Guidelines |
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
GPCE
2005
Springer
15 years 3 months ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
SPAA
2004
ACM
15 years 3 months ago
2004
ACM
The literature describes two high performance concurrent stack algorithms based on combining funnels and elimination trees. Unfortunately, the funnels are linearizable but blockin...
UIST
2004
ACM
15 years 3 months ago
2004
ACM
Light Emitting Diodes (LEDs) offer long life, low cost, efficiency, brightness, and a full range of colors. Because of these properties, they are widely used for simple displays i...
CARDIS
2004
Springer
15 years 3 months ago
2004
Springer
More and more services provided by Internet pose a problem of privacy and anonymity. One cryptographic tool that could be used for solving this problem is the group signature [1, 5...