8177 search results - page 658 / 1636 » Detecting System Emulators |
184
click to vote
CASSIS
2004
Springer
16 years 27 days ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
187
click to vote
FATES
2004
Springer
16 years 26 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
200
Voted
AVSS
2003
IEEE
16 years 23 days ago
2003
IEEE
A smart and simple algorithm is presented in this paper for vehicle’s license plate recognition system. Based on pattern matching, this algorithm can be applied for real time de...
188
click to vote
CAV
2003
Springer
16 years 21 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
200
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...