7529 search results - page 374 / 1506 » The Modula-3 Type System |
185
click to vote
IFIP11
2004
15 years 8 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
185
click to vote
EHCI
2001
15 years 8 months ago
2001
Systems combining the real and the virtual are becoming more and more prevalent. The Augmented Reality (AR) paradigm illustrates this trend. In comparison with traditional interact...
176
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
156
click to vote
IJSN
2006
15 years 6 months ago
2006
: The decentralised, cooperative and self-organising nature of Peer-to-Peer (P2P) systems help to mitigate and even overcome many challenges which overwhelm the traditional client-...
179
click to vote
ENGL
2007
15 years 6 months ago
2007
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...