2024 search results - page 80 / 405 » A Formal Model of Multi-agent Computations |
125
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
127
click to vote
JCP
2006
15 years 3 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
148
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
128
click to vote
APN
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
145
click to vote
TDSC
2010
14 years 10 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...