6279 search results - page 1230 / 1256 » Objects as session-typed processes |
143
click to vote
IAAI
1993
15 years 6 months ago
1993
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
339
click to vote
GRAPHICSINTERFACE
1996
15 years 6 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
163
click to vote
QNS
1996
15 years 6 months ago
1996
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental
oating point facilities of the...
155
click to vote
USENIX
1996
15 years 6 months ago
1996
This paper describes a new method for providingtransparent fault tolerance for parallel applications on a network of workstations. We have designed our method in the context of sh...
149
click to vote
APCCM
2009
15 years 5 months ago
2009
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...