9110 search results - page 1722 / 1822 » Formally-Based Design Evaluation |
SIGCOMM
2004
ACM
14 years 3 months ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and file-sharing, there is lit...
SIGMETRICS
2004
ACM
14 years 3 months ago
2004
ACM
—Traditionally uncooperative rate control schemes have implied open loop protocols such as UDP, CBR. In this paper we show that closed loop uncooperative rate control schemes als...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
CIKM
2004
Springer
14 years 3 months ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
CLEF
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Recent research has suggested that there is no general similarity measure, which can be applied on arbitrary databases without any parameterization. Hence, the optimal co...