1620 search results - page 145 / 324 » Use Case Level Pointcuts |
162
click to vote
SBCCI
2003
ACM
15 years 8 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
107
click to vote
IMR
2003
Springer
15 years 8 months ago
2003
Springer
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...
157
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
139
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
127
click to vote
ECOOP
1987
Springer
15 years 6 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...