Sciweavers

17 search results - page 4 / 4
» Searching for Shapes in Cryptographic Protocols
Sort
View
AAAI
2007
13 years 7 months ago
Impromptu Teams of Heterogeneous Mobile Robots
As robots become more involved in assisting us in large and hazardous operations, such as search and rescue, we can anticipate that diverse robots will come together with the need...
Ross Mead, Jerry B. Weinberg
HPDC
2010
IEEE
13 years 6 months ago
Mendel: efficiently verifying the lineage of data modified in multiple trust domains
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
Ashish Gehani, Minyoung Kim