Sciweavers

4290 search results - page 215 / 858
» Formal Approaches to Teamwork
Sort
View
ASIACRYPT
2004
Springer
16 years 3 days ago
New Approaches to Password Authenticated Key Exchange Based on RSA
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
Muxiang Zhang
CIA
2004
Springer
16 years 3 days ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
ATAL
2003
Springer
15 years 12 months ago
Programming agent deliberation: an approach illustrated using the 3APL language
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh...
CA
2002
IEEE
15 years 11 months ago
A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
Eric Aaron, Harold C. Sun, Franjo Ivancic, Dimitri...
COMPSAC
2009
IEEE
15 years 11 months ago
A Privacy Enhancing Approach for Identity Inference Protection in Location-Based Services
—Recent advances in mobile handheld devices have facilitated the ubiquitous availability of location based services. Systems which provide location based services have always bee...
Chowdhury Sharif Hasan, Sheikh Iqbal Ahamed, Moham...