Sciweavers

8177 search results - page 610 / 1636
» Detecting System Emulators
Sort
View
ICC
2007
IEEE
135views Communications» more  ICC 2007»
16 years 1 months ago
Soft Demapping and Iterative Decoding for Satellite Communications
— In this paper an original detection strategy for satellite digital broadcasting communications is defined; particularly, we consider the DVB-S2 system, which is proposed as a ...
Simone Morosi, Romano Fantacci, Enrico Del Re, Ros...
EMSOFT
2005
Springer
16 years 7 days ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
ACSAC
1999
IEEE
15 years 11 months ago
Architecture and Concepts of the ARGuE Guard
ARGuE (Advanced Research Guard for Experimentation) is a prototype guard being developed as a basis for experimentation. ARGuE is based on Network Associates' Gauntlet firewa...
Jeremy Epstein
RTSS
1996
IEEE
15 years 11 months ago
Reducing the number of clock variables of timed automata
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
Conrado Daws, Sergio Yovine
SP
1996
IEEE
100views Security Privacy» more  SP 1996»
15 years 11 months ago
A Sense of Self for Unix Processes
A method for anomaly detection is introduced in which "normal" is defined by short-range correlations in a process' system calls. Initial experiments suggest that t...
Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaj...