4445 search results - page 392 / 889 » Reflective Authorization Systems |
202
click to vote
ICPPW
2003
IEEE
16 years 25 days ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
218
click to vote
HT
2003
ACM
16 years 24 days ago
2003
ACM
Existing hypertext systems have emphasized either the navigational or spatial expression of relationships between objects. We are exploring the combination of these modes of expre...
193
click to vote
CHARME
2003
Springer
16 years 23 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
201
click to vote
SP
2000
IEEE
15 years 12 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...
183
click to vote
HT
1993
ACM
15 years 11 months ago
1993
ACM
Taking the concept of a link from hypertext and adding to it the rich collection of information formats found in multimedia systems provides an extension to hypertext that is ofte...