104 search results - page 18 / 21 » Towards Formal Analysis of Artifact-Centric Business Process... |
94
Voted
PE
2010
Springer
14 years 8 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
78
Voted
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
69
Voted
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
79
Voted
ICECCS
2007
IEEE
15 years 2 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....