Sciweavers

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