26071 search results - page 412 / 5215 » Making |
168
click to vote
VL
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper describes fractal approaches to the problems which associate with visualizing huge hierarchies. The geometrical characteristic of a fractal, selfsimilarity, allows user...
197
click to vote
ADBIS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper the ways of various types of transaction support in the buffer system of the storage system are considered. Support of active transaction tree as the mechanism for n...
154
click to vote
CSL
1994
Springer
15 years 11 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
176
click to vote
ELP
1993
15 years 11 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
174
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Registered Engineers are expected to be aware of their responsibilities as professionals. Those who practice Software Engineering often enter that profession without either an eng...