8177 search results - page 466 / 1636 » Detecting System Emulators |
126
click to vote
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
143
click to vote
DIMVA
2008
15 years 6 months ago
2008
Abstract. Stealthy malware, such as botnets and spyware, are hard to detect because their activities are subtle and do not disrupt the network, in contrast to DoS attacks and aggre...
116
click to vote
EHCI
2001
15 years 6 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
AUTOMATICA
2007
15 years 4 months ago
2007
: In this paper we address the problem of detecting and isolating faults from noisy input/output measurements of a MIMO uncertain–system, subject to structured dynamic uncertaint...
135
Voted
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...