Sciweavers

906 search results - page 17 / 182
» Controlling Control Flow in Web Applications
Sort
View
INFOCOM
1997
IEEE
14 years 5 days ago
Efficient Admission Control for EDF Schedulers
In this paper we present algorithms for flow admission control at an EDF link scheduler when the flows are characterized by peak rate, average rate and burst size. We show that th...
Victor Firoiu, James F. Kurose, Donald F. Towsley
CDC
2008
IEEE
108views Control Systems» more  CDC 2008»
13 years 10 months ago
A link between Riemann invariants and frequency domain approaches for boundary control of open channel flow
Open channel flow is traditionally described by hyperbolic conservation laws (the Saint-Venant equations), that can be controlled using boundary conditions. For horizontal friction...
Xavier Litrico, Vincent Fromion
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...
APLAS
2001
ACM
14 years 9 days ago
Estimating Exception-Induced Control Flow for Java
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
Byeong-Mo Chang, Jang-Wu Jo
ESOP
2001
Springer
14 years 1 months ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl