2570 search results - page 341 / 514 » Reliability Modeling Using UML |
124
click to vote
EJC
2007
15 years 4 months ago
2007
instrumental roles in titles of medical abstracts: a combined conceptual and modelling UML approach Topic – This paper provides a detailed description of the instrumental role in...
106
click to vote
MBEES
2007
15 years 4 months ago
2007
Abstract: In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eine...
174
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
129
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
110
click to vote
WSC
2007
15 years 5 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...