Sciweavers

24529 search results - page 451 / 4906
» Computing on Authenticated Data
Sort
View
ICNP
2002
IEEE
16 years 17 days ago
A Formal Approach for Passive Testing of Protocol Data Portions
David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...
EUROPAR
2001
Springer
16 years 3 days ago
Nepal - Nested Data Parallelism in Haskell
Ì × Ô Ô Ö × Ù×× × Ò ÜØ Ò× ÓÒ Ó À × ÐÐ Ý ×ÙÔÔÓÖØ ÓÖ Ò ×Ø Ø ¹Ô Ö ÐÐ Ð ÔÖÓ Ö ÑÑ Ò Ò Ø ×ØÝÐ Ó Ø ×Ô Ð¹ ÔÙÖÔÓ× Ð Ò...
Manuel M. T. Chakravarty, Gabriele Keller, Roman L...
139
Voted
PPAM
2001
Springer
16 years 1 days ago
Applications of Virtual Data in the LIGO Experiment
Ewa Deelman, Carl Kesselman, Roy Williams, Kent Bl...