1422 search results - page 201 / 285 » Complementation in Abstract Interpretation |
160
click to vote
ICC
2007
IEEE
16 years 12 days 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...
157
click to vote
IROS
2007
IEEE
16 years 11 days 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...
145
click to vote
ESWS
2007
Springer
16 years 7 days 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...
172
click to vote
EUROCRYPT
2007
Springer
16 years 7 days 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...
154
click to vote
CRYPTO
2005
Springer
15 years 11 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....