3868 search results - page 366 / 774 » Open Systems in TLA |
172
Voted
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
—The paper first discusses motivations why taking into account location information in authentication and access control is important. The paper then surveys current approaches t...
174
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
202
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
156
click to vote
IWQOS
2001
Springer
15 years 11 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
150
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a new architecture for device drivers for tape drives attached to UNIX-like systems. The design goals are presented, some current architectures are measured a...