Sciweavers

2874 search results - page 258 / 575
» Intrusion Detection: Systems and Models
Sort
View
ICIAR
2007
Springer
16 years 27 days ago
Color-Based Road Sign Detection and Tracking
This paper describes a general framework for the detection and tracking of traffic and road signs from image sequences using only color information. The approach consists of two in...
Luis David Lopez, Olac Fuentes
176
Voted
TIT
2008
132views more  TIT 2008»
15 years 6 months ago
Locally Optimum Detection of Signals in Multiplicative and First-Order Markov Additive Noises
Abstract--In most previously reported studies on locally optimum detection of signals, independent observations have been assumed in various noise environments. The use of an indep...
Jumi Lee, Iickho Song, Hyoungmoon Kwon, Hong Jik K...
IWSEC
2009
Springer
16 years 1 months ago
Tamper-Tolerant Software: Modeling and Implementation
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
Mariusz H. Jakubowski, Chit Wei Saw, Ramarathnam V...
SSS
2010
Springer
118views Control Systems» more  SSS 2010»
15 years 5 months ago
Modeling and Analyzing Periodic Distributed Computations
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale
MEMOCODE
2003
IEEE
16 years 15 hour ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...