16206 search results - page 2859 / 3242 » At Issue |
165
click to vote
STEP
2005
IEEE
16 years 10 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
192
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
166
click to vote
TRIDENTCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
To facilitate a broad range of experimental research on novel protocols and application concepts, we employ an indoor wireless testbed to emulate the performance of the real-world...
177
click to vote
VISUALIZATION
2005
IEEE
16 years 10 days ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...
179
click to vote
VISUALIZATION
2005
IEEE
16 years 10 days ago
2005
IEEE
We propose a distributed data management scheme for large data visualization that emphasizes efficient data sharing and access. To minimize data access time and support users wit...