555 search results - page 87 / 111 » Between Symbol and Language-in-use |
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
Near Field Communication (NFC) can facilitate mobile interaction with everyday objects, associated digital information and ubiquitous services. Despite the simplicity of the touch...
MM
2010
ACM
13 years 7 months ago
2010
ACM
FACT is an interactive paper system for fine-grained interaction with documents across the boundary between paper and computers. It consists of a small camera-projector unit, a la...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
GLOBECOM
2008
IEEE
13 years 7 months ago
2008
IEEE
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...