433 search results - page 5 / 87 » Static Information Flow Analysis of Workflow Models |
BMCBI
2007
13 years 7 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
IANDC
2008
13 years 7 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
INFSOF
1998
13 years 7 months ago
1998
The main focus of this paper is demonstrating a methodology for capturing and designing co-operative work processes. We present a method, appropriate for group work analysis, and ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
AICCSA
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...