7109 search results - page 1113 / 1422 » Process Algebra with Combinators |
167
click to vote
PCM
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we propose a methodology for embedding watermark image data into color images. At the transmitter, the signature image is encoded by a multiple description encoder. ...
152
click to vote
PERVASIVE
2005
Springer
16 years 7 days ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
176
click to vote
RE
2005
Springer
16 years 7 days ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
166
click to vote
RT
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a method for actively controlling the illumination in a room so that it is consistent with a virtual world. In combination with a high dynamic range display, the syst...
202
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...