7080 search results - page 536 / 1416 » Designing High Integrity Systems Using Aspects |
140
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
162
click to vote
ENTCS
2006
15 years 5 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
149
click to vote
MHCI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe a project which uses PDAs to provide an interactive experience with a virtual environment. In particular, we focus on the navigational aspects of allowi...
140
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
Adaptive Body Biasing (ABB) is a popularly used technique to mitigate the increasing impact of manufacturing process variations on leakage power dissipation. The efficacy of the ...
171
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...