4636 search results - page 224 / 928 » Application of Linguistic Techniques for Use Case Analysis |
141
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
179
click to vote
ICCSA
2004
Springer
16 years 2 days ago
2004
Springer
Visualization is a key issue for multivariate data analysis. Multivariate visualization is an active research topic and many efforts have been made in order to find suitable and ...
167
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
148
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
147
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....