1900 search results - page 175 / 380 » The Four Phase Method for Modelling Complex Systems |
144
click to vote
SDL
2003
15 years 4 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
118
click to vote
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
125
click to vote
PIMRC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper tackles the problem of fast varying channel estimation in LTE systems. Particular attention is given to downlink transmission where OFDMA is used as the multiple access ...
148
click to vote
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
118
click to vote
ICIC
2005
Springer
15 years 8 months ago
2005
Springer
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...