2106 search results - page 228 / 422 » Specifying C concepts |
125
Voted
CSFW
2005
IEEE
15 years 9 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...
140
click to vote
FCCM
2005
IEEE
15 years 9 months ago
2005
IEEE
When designing systems-on-a-chip (SoCs), a unique opportunity exists to generate custom FPGA architectures that are specific to the application domain in which the device will be ...
140
Voted
WCRE
2005
IEEE
15 years 9 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
130
Voted
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
152
Voted
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...