Sciweavers

1440 search results - page 38 / 288
» Third-Party Flow Control
Sort
View
AICCSA
2008
IEEE
222views Hardware» more  AICCSA 2008»
15 years 2 months ago
Managing access and flow control requirements in distributed workflows
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
Samiha Ayed, Nora Cuppens-Boulahia, Fréd&ea...
95
Voted
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
15 years 9 months ago
Architectural Support for Run-Time Validation of Control Flow Transfer
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
Yixin Shi, Sean Dempsey, Gyungho Lee
76
Voted
PDPTA
2004
15 years 2 months ago
A Study of Adaptive Rate Algorithm in ATM Network Flow Control
In this paper we present a flow control algorithm designed to improve the performance of ATM network and to gain higher throughput by guaranteeing negotiated cell loss ratio (CLR)...
Surasee Prahmkaew, Chanintorn Jittawiriyanukoon
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 7 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...
94
Voted
POPL
1997
ACM
15 years 4 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson