6581 search results - page 1016 / 1317 » Formalizing Design Patterns |
206
click to vote
ASIACRYPT
2004
Springer
16 years 3 days ago
2004
Springer
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...
157
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
165
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
175
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
212
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...