243 search results - page 32 / 49 » Exception-Based Information Flow Control in Object-Oriented ... |
170
click to vote
SACMAT
2005
ACM
15 years 11 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
167
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
163
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
150
click to vote
IMC
2010
ACM
15 years 3 months ago
2010
ACM
Content delivery systems constitute a major portion of today's Internet traffic. While they are a good source of revenue for Internet Service Providers (ISPs), the huge volum...
178
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...