77016 search results - page 385 / 15404 » Modeling |
148
Voted
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
139
Voted
ISORC
2006
IEEE
15 years 11 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
135
Voted
SEW
2006
IEEE
15 years 11 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
158
Voted
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
170
Voted
ICEBE
2005
IEEE
15 years 10 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...