4305 search results - page 112 / 861 » Analysing Protocol Implementations |
PDCAT
2005
Springer
14 years 2 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...
CLIMA
2004
13 years 10 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ENTCS
2006
13 years 9 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
APLAS
2005
ACM
14 years 2 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
Sharing the cost of multicast transmissions was studied in the past and two mechanisms, Marginal Cost and Shapley Value, were proposed. Compared to the Marginal Cost Mechanism the...