1179 search results - page 112 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
151
click to vote
HICSS
2007
IEEE
16 years 20 days ago
2007
IEEE
Critical infrastructures display many of the characteristic properties of complex systems. They exhibit infrequent large failures events that often obey a power law distribution i...
137
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
167
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
155
click to vote
ICEIS
2007
IEEE
16 years 20 days ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
165
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...