2947 search results - page 127 / 590 » The timely token protocol |
126
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces and solves a security problem of pervasive computing: how to define authorizations for offline interactions when trust relationships among entities do not ex...
134
click to vote
SEUS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
153
Voted
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
In the audit process of Internet activities of users in a local area network, one of the most difficult problems is the problem of source authentication i.e. establishing securely...
128
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
142
click to vote
LCN
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we investigate the performance of an IEEE802.3 shared-bandwidth hub under a mixed data/real-time traffic load. For the regular data nodes we assume an exponentially...