1900 search results - page 4 / 380 » The Four Phase Method for Modelling Complex Systems |
EWC
2000
14 years 11 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
133
click to vote
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
SIAMSC
2008
14 years 11 months ago
2008
In this paper, we propose a new phase flow method for Hamiltonian systems with discontinuous Hamiltonians. In the original phase-flow method introduced by Ying and Cand`es [26], t...
115
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
ICIAP
1997
ACM
15 years 3 months ago
1997
ACM
A novel method for automatic segmentation of computed tomography CT head images of patients having spontaneous intracerebral brain hemorrhage has been presented in this work. The...