4341 search results - page 445 / 869 » Quantitative Model checking |
123
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Animat agents are usually formulated as spatially located agents that interact according to some microscopic behavioural rules. We use our predator-prey animat model to explore sp...
191
Voted
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. When bees and wasps leave the nest to forage, they perform orientation or learning flights. This behaviour includes a number of stereotyped flight manoeuvres mediating ...
177
Voted
IWINAC
2007
Springer
16 years 1 months ago
2007
Springer
The computer model of visual attention derives an interest or saliency map from an input image in a process that encompasses several data combination steps. While several combinati...
191
Voted
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
200
Voted
DSRT
2003
IEEE
16 years 4 days ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...