8928 search results - page 312 / 1786 » Modeling Current Events |
127
click to vote
RIVF
2003
15 years 5 months ago
2003
āOur work aims to provide adaptable fault tolerance for component-based systems through frameworks. In order to implement this approach, the underlying component model must fulļ¬...
141
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
A controller change from a current controller which stabilises the plant to a new controller, designed on the basis of an approximate model of the plant and with guaranteed bounds...
124
click to vote
PADS
2004
ACM
15 years 10 months ago
2004
ACM
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
146
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a speciļ¬cation, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
221
click to vote
IS
2011
14 years 11 months ago
2011
Abstract. Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable various types of model-based analysis. This ...