8495 search results - page 165 / 1699 » IT Support for Healthcare Processes |
139
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...
165
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
179
click to vote
BPM
2005
Springer
15 years 8 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
144
click to vote
WSC
2000
15 years 8 months ago
2000
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
165
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Though the activities of business organizations in the field of workflow management are facing an enormous growth, a methodical solution for an essential problem occurring in many...