1580 search results - page 110 / 316 » Non-Interference Through Determinism |
ICCAD
2000
IEEE
14 years 3 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
SIGIR
2000
ACM
14 years 3 months ago
2000
ACM
We investigate four hierarchical clustering methods (single-link, complete-link, groupwise-average, and single-pass) and two linguistically motivated text features (noun phrase he...
DIAU
2000
Springer
14 years 3 months ago
2000
Springer
We describe Freenet, a peer-to-peer network application that permits the publication, replication, and retrieval of data while protecting the anonymity of both authors and readers...
VR
1999
IEEE
14 years 2 months ago
1999
IEEE
The design of virtual environments usually concentrates on constructing a realistic visual simulation and ignores the non-visual cues normally associated with moving through an en...
PG
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper proposes an image-based modeling of clouds where realistic clouds are created from satellite images using metaballs. The intention of the paper is for applications to s...