3742 search results - page 528 / 749 » On the Use of Formal Techniques for Validation |
168
click to vote
INTELLCOMM
2004
Springer
15 years 12 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
176
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
309
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Workflow systems have become increasingly popular for managing experiments where many bioinformatics tasks are chained together. Due to the large amount of data generate...
159
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
172
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
In supervised learning, we commonly assume that training and test data are sampled from the same distribution. However, this assumption can be violated in practice and then standa...