1585 search results - page 154 / 317 » A framework for computer-aided validation |
148
click to vote
KBSE
2006
IEEE
16 years 12 days 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...
155
click to vote
SKG
2006
IEEE
16 years 12 days 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 (...
134
click to vote
CCGRID
2005
IEEE
16 years 13 hour 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 ...
146
click to vote
ENC
2005
IEEE
16 years 6 hour 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 ...
175
click to vote
ICIP
2005
IEEE
15 years 12 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...