336 search results - page 36 / 68 » Implementing CCS in Maude |
CCS
2006
ACM
13 years 11 months ago
2006
ACM
The central goal of secure information sharing is to "share but protect" where the motivation to "protect" is to safeguard the sensitive content from unauthori...
EGH
2005
Springer
14 years 1 months ago
2005
Springer
High-quality off-line rendering requires many features not natively supported by current commodity graphics hardware: wide smooth filters, high sampling rates, order-independent ...
SCA
2007
13 years 10 months ago
2007
Recent efforts to visually capture the phenomena of boiling have proposed monolithic approaches that extend the basic techniques underlying existing fluid solvers. In this work, w...
VISSYM
2007
13 years 10 months ago
2007
This paper is concerned with a multiresolution representation for maximum intensity projection (MIP) volume rendering based on morphological pyramids which allows progressive refi...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Various low-latency anonymous communication systems such as Tor and Anoymizer have been designed to provide anonymity service for users. In order to hide the communication of user...