6202 search results - page 1145 / 1241 » Without Loss of Generality |
77
Voted
EMSOFT
2008
Springer
15 years 11 hour ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
103
Voted
EMSOFT
2008
Springer
15 years 11 hour ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
96
Voted
EMSOFT
2008
Springer
15 years 11 hour ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
77
Voted
EMSOFT
2008
Springer
15 years 11 hour ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
86
Voted
IMC
2007
ACM
14 years 11 months ago
2007
ACM
Rogue (unauthorized) wireless access points pose serious security threats to local networks. In this paper, we propose two online algorithms to detect rogue access points using se...