8663 search results - page 1604 / 1733 » 10 papers on network models |
181
click to vote
AUSDM
2007
Springer
16 years 18 days ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
163
click to vote
ESORICS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
191
click to vote
IEAAIE
2007
Springer
16 years 17 days ago
2007
Springer
Mobile devices are treasure boxes of personal information containing user’s context, personal schedule, diary, short messages, photos, and videos. Also, user’s usage informatio...
182
click to vote
LCPC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
160
click to vote
LPAR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...