7918 search results - page 961 / 1584 » Model Composition Directives |
203
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
192
click to vote
ALT
1998
Springer
15 years 11 months ago
1998
Springer
In their pioneering work, Mukouchi and Arikawa modeled a learning situation in which the learner is expected to refute texts which are not representative of L, the class of langua...
185
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
193
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
216
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...