Vehicle detection systems play a significant role in intelligent transportation (ITSs). At present, vehicle is realized either by very costly inductive loops, video cameras that require good weather conditions and high computing resources, or recently developed magnetic sensors only obtain limited accuracy congested traffic conditions. To overcome these challenges, this paper develops passive r...

The current research into intrusion detection makes only the marginal use of results obtained by the community concerned with formal verification and testing. To harmonize the ideas and methods used by these two separate disciplines, we develop a discourse space (a taxonomy), in which the linguistic problems common to testing (in particular passive testing) and intrusion detection are captured....