Sciweavers

3819 search results - page 489 / 764
» Simple Easy Terms
Sort
View
PLDI
2006
ACM
16 years 19 days ago
A microkernel virtual machine: : building security with clear interfaces
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
Xiaoqi Lu, Scott F. Smith
PLDI
2006
ACM
16 years 19 days ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
182
Voted
SACMAT
2006
ACM
16 years 19 days ago
Secure resource description framework: an access control model
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
Amit Jain, Csilla Farkas
SIGCSE
2006
ACM
201views Education» more  SIGCSE 2006»
16 years 19 days ago
Everything I needed to know about teaching I learned in kindergarten: bringing elementary education techniques to undergraduate
By expanding the teaching styles used in computer science classrooms, we can expand the audience of students that enjoy and excel in technology. Rather than focusing on major curr...
Shannon Pollard, Robert C. Duvall
SIGIR
2006
ACM
16 years 19 days ago
Information graphics: an untapped resource for digital libraries
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...
Sandra Carberry, Stephanie Elzer, Seniz Demir