1033 search results - page 84 / 207 » Properties of Exercise Strategies |
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
106
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
83
Voted
CN
2006
14 years 10 months ago
2006
This paper uses trace-driven simulation to study the unfairness properties of Web server scheduling strategies, such as Processor Sharing (PS) and Shortest Remaining Processing Ti...
75
Voted
JSAC
2008
14 years 10 months ago
2008
Abstract--To implement network coding, users need to coordinate and cooperate with respect to their strategies in terms of duplicating and transmitting side information across spec...
93
Voted
JAR
2000
14 years 10 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...