1895 search results - page 210 / 379 » Modular Functional Descriptions |
SIGSOFT
2000
ACM
14 years 13 days ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
HT
1999
ACM
14 years 11 days ago
1999
ACM
Making hypermedia adaptable for multiple forms of presentation involves enabling multiple distinct specifications for how a given collection of hypermedia can have its presentatio...
KBSE
1997
IEEE
14 years 8 days ago
1997
IEEE
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In o...
ISLPED
1996
ACM
14 years 6 days ago
1996
ACM
This paper describes a family of high-speed Finite Impulse Response (FIR) digital filters that have been scaled across three generations of CMOS processes. The processes include c...
LICS
1994
IEEE
14 years 5 days ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...