7580 search results - page 1478 / 1516 » Prometheus design tool |
139
click to vote
DLOG
2007
15 years 6 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...
132
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
147
click to vote
AVI
2008
15 years 6 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
137
click to vote
LISA
2007
15 years 6 months ago
2007
In virtual machine environments each application is often run in its own virtual machine (VM), isolating it from other applications running on the same physical machine. Contentio...
135
click to vote
USS
2008
15 years 6 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...