2905 search results - page 317 / 581 » Formal Memetic Algorithms |
226
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
112
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
126
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
137
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
125
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...