Sciweavers

24529 search results - page 451 / 4906
» Computing on Authenticated Data
Sort
View
ICNP
2002
IEEE
15 years 9 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 9 months ago
Nepal - Nested Data Parallelism in Haskell
Ì × Ô Ô Ö × Ù×× × Ò ÜØ Ò× ÓÒ Ó À × ÐÐ Ý ×ÙÔÔÓÖØ ÓÖ Ò ×Ø Ø ¹Ô Ö ÐÐ Ð ÔÖÓ Ö ÑÑ Ò Ò Ø ×ØÝÐ Ó Ø ×Ô Ð¹ ÔÙÖÔÓ× Ð Ò...
Manuel M. T. Chakravarty, Gabriele Keller, Roman L...
PPAM
2001
Springer
15 years 9 months ago
Applications of Virtual Data in the LIGO Experiment
Ewa Deelman, Carl Kesselman, Roy Williams, Kent Bl...
94
Voted
IPPS
2000
IEEE
15 years 9 months ago
Scalable Model for Extensional and Intensional Descriptions of Unclassified Data
Hércules Antonio do Prado, Stephen C. Hirtl...