1356 search results - page 107 / 272 » The ideal of verified software |
161
click to vote
CHES
2005
Springer
15 years 12 months ago
2005
Springer
Although identity based cryptography offers many functional advantages over conventional public key alternatives, the computational costs are significantly greater. The core comp...
147
click to vote
IH
2005
Springer
15 years 12 months ago
2005
Springer
This paper investigates the possibilities of steganographically embedding information in the \noise" created by automatic translation of natural language documents. Because th...
152
click to vote
UC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
156
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
The pervasiveness of multiprocessor and multicore hardware and the rising level of available parallelism are radically changing the computing landscape. Can software deal with tom...
173
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...