309 search results - page 38 / 62 » Logic-Based Agent Communication Protocols |
TCC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
WIMOB
2008
IEEE
14 years 2 months ago
2008
IEEE
With Dynamic Home Agent Address Discovery (DHAAD), as specified in Mobile IPv6, a Mobile Node can discover the address of a suitable Home Agent on the home link. However, DHAAD suf...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
ISCIS
2003
Springer
14 years 25 days ago
2003
Springer
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...