1012 search results - page 199 / 203 » What Robots Can Do |
112
Voted
IANDC
2008
14 years 11 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
KI
2008
Springer
14 years 11 months ago
2008
Springer
Many environments in which humans wayfind can be conveniently abstracted as networks or graphs: structures of nodes that are interconnected by edges. Examples include the street ne...
JSYML
1998
14 years 11 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
82
Voted
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—Network coding has been proposed as a technique that can potentially increase the transport capacity of a wireless network via processing and mixing of data packets at intermedi...
MMMACNS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...