Sciweavers

5339 search results - page 25 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
CAISE
2006
Springer
14 years 12 days ago
Controlling the Level of Business Process Instance Flexibility via Rules of Planning
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
Ilia Bider, Alexey Striy
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
AUTOMATICA
2006
77views more  AUTOMATICA 2006»
13 years 8 months ago
PI control of discrete linear repetitive processes
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
Bartlomiej Sulikowski, Krzysztof Galkowski, Eric R...
SAFECOMP
1999
Springer
14 years 27 days ago
Towards Statistical Control of an Industrial Test Process
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
Gaetano Lombardi, Emilia Peciola, Raffaela Mirando...
MMB
1997
Springer
126views Communications» more  MMB 1997»
14 years 24 days ago
Goal-oriented Performance Control for Transaction Processing
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...
Erhard Rahm