2257 search results - page 28 / 452 » Secure program partitioning |
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
RIVF
2003
13 years 10 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...
MAS
1998
Springer
14 years 27 days 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...
ESOP
2009
Springer
14 years 3 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 ...
PLDI
2003
ACM
14 years 1 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...