19342 search results - page 101 / 3869 » Decentralised Process Modelling |
113
Voted
TOSEM
1998
15 years 2 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...
113
Voted
BMCBI
2008
15 years 2 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...
123
click to vote
ESWS
2007
Springer
15 years 8 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...
97
Voted
JOLLI
2002
15 years 2 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
90
Voted
ICNS
2007
IEEE
15 years 9 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...