Sciweavers

21430 search results - page 3831 / 4286
» Abstract Effective Models
Sort
View
APN
2005
Springer
16 years 12 days ago
High-Level Nets with Nets and Rules as Tokens
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
ASIACRYPT
2005
Springer
16 years 12 days ago
Revealing Additional Information in Two-Party Computations
Abstract. A two-argument function is computed privately by two parties if after the computation, no party should know anything about the other inputs except for what he is able to ...
Andreas Jakoby, Maciej Liskiewicz
ASIACRYPT
2005
Springer
16 years 12 days ago
Upper Bounds on the Communication Complexity of Optimally Resilient Cryptographic Multiparty Computation
Abstract. We give improved upper bounds on the communication complexity of optimally-resilient secure multiparty computation in the cryptographic model. We consider evaluating an n...
Martin Hirt, Jesper Buus Nielsen
ATAL
2005
Springer
16 years 12 days ago
A real-world approach to secure and trusted negotiation in MASs
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
Roberto Bianchi, Andrea Fontana, Federico Bergenti
ATAL
2005
Springer
16 years 12 days ago
Multi-agent concepts as basis for dynamic plug-in software architectures
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
« Prev « First page 3831 / 4286 Last » Next »