2245 search results - page 54 / 449 » A Case Study Implementing Features Using AspectJ |
130
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
155
click to vote
DOLAP
1999
ACM
15 years 6 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
134
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
139
click to vote
ESEC
1993
Springer
15 years 6 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
110
click to vote
BEHAVIOURIT
2005
15 years 2 months ago
2005
This paper describes the design and evaluation of a gesture-based scheme for issuing the back and forward commands in web browsers. In designing our gesture recogniser we conducte...