6555 search results - page 1033 / 1311 » Secure attribute-based systems |
122
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
136
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...
142
click to vote
AGENTS
2001
Springer
2001
Springer
AgentSalon: facilitating face-to-face knowledge exchange through conversations among personal agents
15 years 8 months ago
This paper presents a system called AgentSalon, which facilitates face-to-face knowledge exchange and discussion by people having shared interests, in museums, schools, offices, a...
127
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring t...
161
Voted
AGENTS
1998
Springer
15 years 8 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...