Sciweavers

9425 search results - page 1514 / 1885
» Some Notes on Models and Modelling
Sort
View
ACNS
2004
Springer
156views Cryptology» more  ACNS 2004»
16 years 6 days ago
One-Round Protocols for Two-Party Authenticated Key Exchange
Cryptographic protocol design in a two-party setting has often ignored the possibility of simultaneous message transmission by each of the two parties (i.e., using a duplex channe...
Ik Rae Jeong, Jonathan Katz, Dong Hoon Lee
ACOM
2004
Springer
16 years 6 days ago
Formulating Agent Communication Semantics and Pragmatics as Behavioral Expectations
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
Matthias Nickles, Michael Rovatsos, Gerhard Wei&sz...
AMEC
2004
Springer
16 years 6 days ago
Agents' Strategies for the Dual Parallel Search in Partnership Formation Applications
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...
David Sarne, Sarit Kraus
ATAL
2004
Springer
16 years 5 days ago
Normative Agent Reasoning in Dynamic Societies
Several innovative software applications such as those required by ambient intelligence, the semantic grid, e-commerce and e-marketing, can be viewed as open societies of heteroge...
Fabiola López y López, Michael Luck,...
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
16 years 5 days ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
« Prev « First page 1514 / 1885 Last » Next »