969 search results - page 150 / 194 » Recursive Petri nets |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
WECWIS
2006
IEEE
14 years 1 months ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
ANSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...