28 search results - page 5 / 6 » Specifying and Enforcing Intertask Dependencies |
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
MMB
1997
Springer
13 years 9 months ago
1997
Springer
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...
CIA
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
JFP
2008
13 years 4 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...