8177 search results - page 1008 / 1636 » Detecting System Emulators |
199
click to vote
COMPSAC
2002
IEEE
16 years 6 days ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
168
click to vote
ICARCV
2002
IEEE
16 years 5 days ago
2002
IEEE
Corner extraction is an important task in many computer vision systems. The quality of the corners and the efficiency of the detection method are two very important aspects that ...
217
click to vote
ISMAR
2002
IEEE
16 years 4 days ago
2002
IEEE
Pattern-based augmented reality systems are considered the most promising approach for accurately registering virtual objects with real-time video feeds. The problem with existing...
196
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
235
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...