15779 search results - page 2383 / 3156 » Change-oriented software engineering |
165
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...
155
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
199
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
209
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Function Point Analysis (FPA) is a well-known method to measure the functionality of a system, from the user’s point of view. Both Albrecht’s original model and a local varian...
147
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...