6581 search results - page 952 / 1317 » Formalizing Design Patterns |
164
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
198
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
The creation of a complex web site is a thorny problem in user interface design. In this paper we explore the notion of adaptive web sites: sites that semi-automatically improve t...
201
click to vote
CN
2002
15 years 6 months ago
2002
We introduce a receiver-oriented approach to congestion control, demonstrated by an experimental protocol, TCP-Real. The protocol allows for a measurement-based transmission strate...
197
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
192
click to vote
MONET
2007
15 years 6 months ago
2007
Disruption Tolerant Network (DTN) is characterized by frequent partitions and intermittent connectivity. Power management issue in such networks is challenging. Existing power man...