3624 search results - page 482 / 725 » Abstract Algebraic Logic |
165
click to vote
INFOCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Providing efficient data aggregation while preserving data privacy is a challenging problem in wireless sensor networks research. In this paper, we present two privacy...
157
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In this paper, we develop an algorithm for determining the relative position and attitude of two robots moving in 3D, using only dead-reckoning and inter-robot distance...
189
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
177
click to vote
CRYPTO
2007
Springer
16 years 24 days ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
175
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...