9425 search results - page 308 / 1885 » Some Notes on Models and Modelling |
111
click to vote
CN
2007
15 years 4 months ago
2007
Network stability is an important issue that has attracted the attention of many researchers in recent years. Such interest comes from the need to ensure that, as the system runs ...
136
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
135
click to vote
AMC
2005
15 years 4 months ago
2005
In this paper, we study graphs that arise from certain sensory and communication limitations on the local interactions in multi-agent systems. In particular, we show that the set ...
126
click to vote
AI
1998
Springer
15 years 4 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...
122
click to vote
FMSD
1998
15 years 3 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...