1422 search results - page 201 / 285 » Complementation in Abstract Interpretation |
130
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The wireless medium contains domain-specific information that can be used to complement and enhance traditional security mechanisms. In this paper we propose ways to e...
130
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
113
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a framework for the reuse and extension of existing, established vocabularies in the Semantic Web. Driven by the primary application of expert findin...
146
Voted
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
122
Voted
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....