9821 search results - page 216 / 1965 » A Framework for the Development of Protocols |
157
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The authors of this paper have all developed a framework that allows runtime adaptation of software systems. Based on our experiences, we wish to summarize common pitfall...
185
Voted
ASIASIM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
214
click to vote
SAINT
2005
IEEE
16 years 7 days ago
2005
IEEE
Existing replica services on the Grid we know to date assumes point-to-point communication and file transfer protocol. As such, when hundreds to thousands of hosts on the Grid ac...
175
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
148
click to vote
NSDI
2007
15 years 9 months ago
2007
Modern Internet systems often combine different applications (e.g., DNS, web, and database), span different administrative domains, and function in the context of network mechanis...