4385 search results - page 745 / 877 » Abstraction for Concurrent Objects |
SSD
1997
Springer
15 years 3 months ago
1997
Springer
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
CHI
1994
ACM
15 years 3 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
POS
1994
Springer
15 years 3 months ago
1994
Springer
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...