2513 search results - page 321 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
109
Voted
USENIX
2000
15 years 2 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
97
Voted
WSC
1997
15 years 2 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
96
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
102
click to vote
SIGOPS
2010
14 years 11 months ago
2010
Cassandra is a distributed storage system for managing very large amounts of structured data spread out across many commodity servers, while providing highly available service wit...
102
Voted
ENTCS
2010
14 years 10 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...