1393 search results - page 130 / 279 » Virtual-Channel Flow Control |
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
109
click to vote
SERP
2008
15 years 3 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
141
Voted
ENTCS
2007
15 years 2 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
144
click to vote
SIAMSC
2010
15 years 22 days ago
2010
In this article we consider the a posteriori error estimation and adaptive mesh refinement of discontinuous Galerkin finite element approximations of the hydrodynamic stability p...
140
click to vote
ANCS
2007
ACM
15 years 6 months ago
2007
ACM
There is a growing interest in designing high-performance network devices to perform packet processing at flow level. Applications such as stateful access control, deep inspection...