9821 search results - page 90 / 1965 » A Framework for the Development of Protocols |
134
click to vote
ACSW
2006
15 years 5 months ago
2006
We present the first detailed application of Meadows's cost-based modelling framework to the analysis of JFK, an Internet key agreement protocol. The analysis identifies two ...
145
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Resource discovery is a problem common to almost all distributed systems. Instead of resulting in a one or a small number of discovery mechanisms, completely different and incompa...
109
click to vote
MATES
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
117
Voted
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any information to prove that she has voted in a certain way. It aims to prevent ...
101
click to vote
ECIS
2000
15 years 5 months ago
2000
The aim of this paper is to examine the domain of World Wide Web site development and propose a methodology to assist with this process. Methodologies have both their proselytizers...