8177 search results - page 1106 / 1636 » Detecting System Emulators |
197
click to vote
ICRA
2003
IEEE
16 years 10 days ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
184
click to vote
SP
2003
IEEE
16 years 9 days ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
185
click to vote
SCAM
2002
IEEE
15 years 12 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...
177
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
180
Voted
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Clock and data recovery circuits are essential components in communication systems. They directly influence the bit-error-rate performance of communication links. It is desirable...