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 25 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 25 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...
327
Voted
AMEC
2004
Springer
16 years 25 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
195
Voted
ATAL
2004
Springer
16 years 25 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 25 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 »