16218 search results - page 2962 / 3244 » Standards |
171
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
209
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
210
click to vote
RTAS
2000
IEEE
15 years 11 months ago
2000
IEEE
To be an effective platform for performance-sensitive realtime systems, commercial-off-the-shelf (COTS) distributed object computing (DOC) middleware must support application qual...
200
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...
168
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
Parallel, multithreaded C and C++ programs such as web servers, database managers, news servers, and scientific applications are becoming increasingly prevalent. For these applic...