1604 search results - page 241 / 321 » Development Separation in Lambda-Calculus |
132
click to vote
SIGOPS
2008
15 years 4 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
132
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Image steganography is a covert communication method that uses an image as the cover to hide the truth from potential attackers that some secret message hidden in the image is bei...
146
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
111
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Most current DNA diagnostic tests for identifying organisms use specific oligonucleotide probes that are complementary in sequence to, and hence only hybridise with th...
138
click to vote
JEI
2007
15 years 4 months ago
2007
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...