1357 search results - page 119 / 272 » Compositional analysis for linear systems |
166
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
202
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
199
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
181
click to vote
WSC
2000
15 years 7 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
150
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...