29172 search results - page 5575 / 5835 » Modeling Systems in CLP |
151
click to vote
MM
1997
ACM
15 years 10 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
200
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
171
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Our goal is to develop physically based lighting models and perceptually based rendering procedures for computer graphics that will produce synthetic images that are visually and ...
159
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
186
click to vote
FCT
1997
Springer
15 years 10 months ago
1997
Springer
A connection management protocol establishes a connection between two hosts across a wide-area network to allow reliable message delivery. Following previous work of Kleinberg et a...