2171 search results - page 162 / 435 » A Generic Process Algebra |
129
click to vote
STTT
2008
15 years 3 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
142
click to vote
SERA
2010
Springer
15 years 1 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
130
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Decision making processes and systems to support the same have focused for the most part on narrow disciplines, paradigms, perspectives, and pre-determined processes. Apart from t...
118
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
120
click to vote
ER
2003
Springer
15 years 8 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...