4139 search results - page 347 / 828 » Designing and Implementing Combinator Languages |
168
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
228
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
193
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
184
click to vote
HASKELL
2007
ACM
15 years 11 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
189
click to vote
TISSEC
2002
15 years 6 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...