2432 search results - page 69 / 487 » High-level approach to modeling of observed system behavior |
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
TKDE
2010
14 years 10 months ago
2010
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
110
click to vote
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
SIGGRAPH
1987
ACM
15 years 3 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...