1585 search results - page 89 / 317 » A framework for computer-aided validation |
139
click to vote
LISA
2008
15 years 5 months ago
2008
With the increasing adoption of mobile computing devices that carry confidential data, organizations need to secure data in an ever-changing environment. Critical organizational d...
120
click to vote
AIPS
2003
15 years 4 months ago
2003
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have b...
130
click to vote
USENIX
2003
15 years 4 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
129
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The functional characterization of newly discovered proteins has been a challenge in the post-genomic era. Protein-protein interactions provide insights into the funct...
152
Voted
TSMC
2010
14 years 10 months ago
2010
In recent years the protection of biometric data has gained increased interest from the scientific community. Methods such as the fuzzy commitment scheme, helper data system, fuzzy...