7580 search results - page 1392 / 1516 » Prometheus design tool |
143
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
149
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
157
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
150
click to vote
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
128
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...