2757 search results - page 532 / 552 » On separating systems |
PODC
1999
ACM
13 years 12 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
SIGGRAPH
1999
ACM
13 years 12 months ago
1999
ACM
A multi-color dithering algorithm is proposed, which converts a barycentric combination of color intensities into a multi-color nonoverlapping surface coverage. Multi-color dither...
VRML
1999
ACM
13 years 12 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
ELPUB
1998
ACM
13 years 12 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
FQAS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...