2687 search results - page 377 / 538 » Formal Analysis of PKCS |
169
click to vote
WSC
2004
15 years 7 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
134
click to vote
AIPS
1998
15 years 7 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
184
click to vote
ECIS
2000
15 years 7 months ago
2000
Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...
148
click to vote
WSC
1998
15 years 7 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
163
click to vote
WSC
1997
15 years 7 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...