2268 search results - page 110 / 454 » The Essence of Form Abstraction |
BIRTHDAY
1997
Springer
14 years 11 days ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
CONCUR
1997
Springer
14 years 11 days ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
DAC
1996
ACM
14 years 11 days ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
ISCAS
1994
IEEE
14 years 10 days ago
1994
IEEE
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...
ASSETS
1994
ACM
14 years 9 days ago
1994
ACM
ls of abstraction which make up a graphical user interface. The Power of GUIs For much of their history, computers have been capable of presenting only textual and numeric data to ...