2152 search results - page 333 / 431 » An Abstract Account of Composition |
134
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
131
click to vote
HIPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract In this paper, we consider the problem of scheduling divisible loads onto an heterogeneous star platform, with both heterogeneous computing and communication resources. We...
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
111
click to vote
ICN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. For a typical portable handheld device, the backlight accounts for a significant percentage of the total energy consumption (e.g., around 30% for a Compaq iPAQ 3650). Su...
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we propose a procedure for the storage and retrieval of digital signals utilizing DNA. Digital signals are encoded in DNA sequences that satisfy among other...