Sciweavers

6196 search results - page 175 / 1240
» Live-Representation Process Management
Sort
View
AUTOMATICA
2006
183views more  AUTOMATICA 2006»
15 years 3 months ago
Bank management via stochastic optimal control
This paper examines a problem related to the optimal risk management of banks in a stochastic dynamic setting. In particular, we minimize7 market and capital adequacy risk that in...
Janine Mukuddem-Petersen, Mark Adam Petersen
ERCIM
2007
125views more  ERCIM 2007»
15 years 3 months ago
Workflow Management Systems for Grid Computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Carmen Bratosin, Wil M. P. van der Aalst
JAR
2000
77views more  JAR 2000»
15 years 3 months ago
Proving Consistency Assertions for Automotive Product Data Management
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
Wolfgang Küchlin, Carsten Sinz
IJISEC
2002
86views more  IJISEC 2002»
15 years 3 months ago
Using AVL trees for fault-tolerant group key management
In this paper we describe an efficient algorithm for the management of group-keys for Group Communication Systems. Our algorithm is based on the notion of key-graphs, previously u...
Ohad Rodeh, Kenneth P. Birman, Danny Dolev
KBS
2002
98views more  KBS 2002»
15 years 3 months ago
Integrating AI planning techniques with workflow management system
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
María Dolores Rodríguez-Moreno, Paul...