2282 search results - page 338 / 457 » Active property checking |
ICECCS
1995
IEEE
14 years 1 months ago
1995
IEEE
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...
SI3D
1995
ACM
14 years 1 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
ICAISC
2010
Springer
14 years 3 days ago
2010
Springer
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
ER
2008
Springer
13 years 12 months ago
2008
Springer
During data warehouse design, the designer frequently encounters the problem of choosing among different alternatives for the same design construct. The behavior of the chosen desi...
FDTC
2008
Springer
13 years 12 months ago
2008
Springer
The adaptive and active nature of fault based sidechannel attacks along with the large arsenal of fault injection methods complicates the design of effective countermeasures. To o...