3154 search results - page 224 / 631 » Computing Closed Skycubes |
134
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
199
click to vote
NETGAMES
2003
ACM
15 years 11 months ago
2003
ACM
With a shift in the on-line gaming landscape from individually hosted game servers, to gaming services centrally hosted by game publishers, game console manufacturers, and third-p...
165
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
The Weil and Tate pairings have been used recently to build new schemes in cryptography. It is known that the Weil pairing takes longer than twice the running time of the Tate pair...
147
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
165
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...