1171 search results - page 164 / 235 » A Logical Language for Expressing Authorizations |
189
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
190
click to vote
SAS
1995
Springer
15 years 9 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
139
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
This study explores how the design of visual display configurations relates to linguistic expressions. Twenty-five participants performed a series of object identification and nar...
135
click to vote
CCGRID
2006
IEEE
16 years 11 days ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
349
click to vote
CRW
1998
Springer
15 years 10 months ago
1998
Springer
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...