7961 search results - page 1120 / 1593 » Input-Output Model Programs |
164
click to vote
CSFW
2005
IEEE
16 years 4 days 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...
170
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
143
click to vote
IWPC
2005
IEEE
16 years 2 days ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
185
Voted
WCRE
2005
IEEE
16 years 2 days ago
2005
IEEE
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
174
Voted
ACMSE
2005
ACM
16 years 2 days ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...