1501 search results - page 137 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
121
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Current surveillance systems use multiple sensors and media processing techniques in order to record/detect information of interest in terms of events. Assessing the quality of in...
141
click to vote
WSC
1997
15 years 5 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
150
Voted
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
149
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
149
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...