1585 search results - page 154 / 317 » A framework for computer-aided validation |
118
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
121
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
In grid environment, there are many administrative domains, each domain has its own CA, and entities in different domains need authentication when accessing each other. The OCSP (...
102
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient memory allocation and data transfer for cluster-based data-intensive applications is a difficult task. Both changes in cluster interconnects and application workloads ...
117
Voted
ENC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
138
Voted
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a new technique for noise removal in images. It benefits both from the recent advances in waveletbased and variational denoising. Whereas wavelet-based analys...