21876 search results - page 4211 / 4376 » Computer game-flow design |
152
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
117
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
132
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
155
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—The emerging biometric cryptography has gained significant interests for key management and privacy protection, but the previously proposed schemes using set metrics for finge...
161
click to vote
MUE
2009
IEEE
15 years 10 months ago
2009
IEEE
As modern life becomes increasingly closely bound to the Internet, network security becomes increasingly important. Like it or not, we all live under the shadow of network threats...