12032 search results - page 2333 / 2407 » Simulation of Manufacturing Systems |
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
152
Voted
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Deploying Wireless LAN for Industrial Control (ICWLAN) has many benefits, such as mobility, low deployment cost and ease of reconfiguration. However, the top concern is robustne...
119
Voted
TRIDENTCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Today’s Internet backbone networking devices need to be tested under realistic traffic conditions at transmission rates of OC-48 and above. While commercially available synthet...
131
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a practical and general-purpose approach to large and complex visual data analysis where visualization processing, rendering and subsequent human interpretation is cons...
145
click to vote
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
New network applications like intrusion detection systems and packet-level accounting require multi-match packet classification, where all matching filters need to be reported. Te...