53390 search results - page 197 / 10678 » Computer Systems Analysis |
172
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
174
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Query-by-tapping systems are content-based music retrieval systems that allow users to tap or clap in a microphone the rhythmic pattern of the melody requested. In this paper, a n...
178
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...
176
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
180
click to vote
ISMB
1993
15 years 7 months ago
1993
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...