1288 search results - page 31 / 258 » On Analysis of Design Component Contracts: A Case Study |
100
click to vote
ISM
2008
IEEE
15 years 6 months ago
2008
IEEE
Recent theoretical and simulation-based studies have confirmed the tremendous benefit of peer-to-peer (P2P) communication at reducing the cost of running a VoD service. To date,...
115
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
SIGCOMM
2005
ACM
15 years 5 months ago
2005
ACM
Recent research has shown that one can use Distributed Hash Tables (DHTs) to build scalable, robust and efficient applications. One question that is often left unanswered is that ...
108
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
113
click to vote
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...