Sciweavers

2979 search results - page 416 / 596
» Modelling secure multiagent systems
Sort
View
117
Voted
IAT
2005
IEEE
15 years 9 months ago
Complexity of a theory of collective attitudes in teamwork
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin...
111
Voted
ATAL
2008
Springer
15 years 6 months ago
An agent-based electrical power market
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...
Jaime Cerda Jacobo, David De Roure, Enrico H. Gerd...
ICIP
2006
IEEE
16 years 5 months ago
A Model for the Electronic Representation of Bank Checks
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
Danilo Dias, Ricardo L. de Queiroz
162
Voted
CANS
2009
Springer
276views Cryptology» more  CANS 2009»
15 years 1 months ago
Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
Benoît Libert, Damien Vergnaud
CRYPTO
2000
Springer
134views Cryptology» more  CRYPTO 2000»
15 years 8 months ago
Taming the Adversary
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
Martín Abadi