19367 search results - page 104 / 3874 » Fine-Grain Process Modelling |
DAC
2011
ACM
12 years 10 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
IANDC
2006
13 years 10 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
TOSEM
1998
13 years 9 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
BMCBI
2008
13 years 10 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
This position paper presents the semantically enhanced Business Process Modelling Notation, namely the sBPMN ontology, developed within the SUPER project. Moreover, it elaborates s...