144227 search results - page 181 / 28846 » Using |
299
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
136
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents an analysis technique that can be used to compute the harmonic and intermodulation distortion levels of a sampled-data circuit directly from a SPICE transient ...
171
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
The paper presents (i) two similarity based methods for retrieval of pictures using indices on spatial relationships; (ii) efficient algorithms for the deduction and reduction of ...
218
click to vote
OOPSLA
1991
Springer
15 years 10 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...
219
click to vote
ZUM
1991
Springer
15 years 10 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...