7557 search results - page 614 / 1512 » Modeling Timed Concurrent Systems |
167
click to vote
ACRI
2004
Springer
16 years 16 days ago
2004
Springer
This paper presents information flow model and a novel artificial life grid model to construct artificial life computer ecosystem environment. The life grid model is a three-dimens...
192
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
197
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
116
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
undary controllability of an abstract Mead-Marcus sandwich beam model Scott W. Hansen and A. Ozkan Ozer Abstract-- In this paper we prove the exact boundary conlity of an abstract ...
221
click to vote
WIDM
2003
ACM
16 years 11 days ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...