6704 search results - page 137 / 1341 » Testing Scenario-Based Models |
138
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
156
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
191
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The vulnerability of smart grid systems is a growing concern. Signal detection theory is employed here to detect a change in the system. We employ a discrete-time linear state spa...
184
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
157
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...