8177 search results - page 232 / 1636 » Detecting System Emulators |
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
142
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
110
click to vote
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...
125
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
78
Voted
IMC
2006
ACM
15 years 6 months ago
2006
ACM
Remote code injection exploits inflict a significant societal cost, and an active underground economy has grown up around these continually evolving attacks. We present a method...