2257 search results - page 28 / 452 » Secure program partitioning |
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
138
click to vote
RIVF
2003
15 years 3 months ago
2003
—In this paper we consider the Airspace Sectorization Problem (ASP) where airspace has to be partitioned into a number of sectors, each sector being assigned to a team of air tra...
115
Voted
MAS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
96
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
122
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Clustered architectures are a solution to the bottleneck of centralized register files in superscalar and VLIW processors. The main challenge associated with clustered architectu...