752 search results - page 71 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
136
Voted
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...
143
Voted
ICINCO
2004
15 years 4 months ago
2004
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...
117
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
156
Voted
ATS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
153
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...