886 search results - page 106 / 178 » Generalized Bezout Identity |
IH
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
ISBRA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. DNA microarrays can monitor the expression levels of thousands of genes simultaneously, providing the opportunity for the identification of genes that are differentiall...
PERSUASIVE
2007
Springer
14 years 3 months ago
2007
Springer
Persuasive games are a relatively new phenomenon, and hold promise as effective vehicles for persuasion. As yet, however, there are few set rules guiding how to design persuasive ...
SGAI
2007
Springer
14 years 3 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...