Sciweavers

8031 search results - page 131 / 1607
» Knowledge and Workflow Systems
Sort
View
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
IADIS
2008
14 years 11 months ago
An E-Learning System To Prepare Negotiations
The goal of this article is to propose an environment for negotiation e-learning courses using a workflow approach to help learners to prepare the negotiation. This environment is...
Sérgio Assis Rodrigues, Yann Duzert, Jano M...
MICCAI
2009
Springer
15 years 11 months ago
Inverse C-arm Positioning for Interventional Procedures Using Real-Time Body Part Detection
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...
Christian Schaller, Christopher Rohkohl, Jochen Pe...
ECOWS
2006
Springer
15 years 1 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer
APCCM
2006
14 years 11 months ago
On the suitability of UML 2.0 activity diagrams for business process modelling
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...