Sciweavers

6293 search results - page 306 / 1259
» Information Flow Testing
Sort
View
ANOR
2005
102views more  ANOR 2005»
15 years 4 months ago
Locating Active Sensors on Traffic Networks
Sensors are used to monitor traffic in networks. For example, in transportation networks, they may be used to measure traffic volumes on given arcs and paths of the network. This p...
Monica Gentili, Pitu B. Mirchandani
SCHULE
2005
Springer
15 years 10 months ago
Rekursion und Iteration: Voruntersuchung zu einem Test
: Informatiklehrerinnen und -lehrer unterrichten einen Themenbereich und möchten anschließend wissen, ob ihr Unterricht die notwendige inhaltliche Bandbreite hatte und ob er den ...
Michael Fothe
COMPSAC
2005
IEEE
15 years 10 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
DAC
2006
ACM
16 years 5 months ago
Scheduling-based test-case generation for verification of multimedia SoCs
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ron...
ESORICS
2006
Springer
15 years 8 months ago
Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors
A user who wants to use a service forbidden by their site's usage policy can masquerade their packets in order to evade detection. One masquerade technique sends prohibited tr...
Michael P. Collins, Michael K. Reiter