2226 search results - page 35 / 446 » Pdk: The System and Its Language |
101
click to vote
ATAL
2001
Springer
15 years 6 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
134
click to vote
TIC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
112
click to vote
LOBJET
2000
15 years 1 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
128
click to vote
ICTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
206
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...