5851 search results - page 156 / 1171 » Coordination as a Direct Process |
133
click to vote
ESWA
2008
15 years 4 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
110
Voted
ICALP
1999
Springer
15 years 9 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
132
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
152
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper summarizes the discussions at the 3rd Workshop on Business Process Intelligence (BPI 07) which was held at the 5th International Conference on Business Process...
153
click to vote
GISCIENCE
2010
Springer
15 years 5 months ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...