Sciweavers

762 search results - page 77 / 153
» Behavioural Models for Group Communications
Sort
View
ISOLA
2004
Springer
14 years 2 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
SEE
1997
Springer
14 years 1 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
ECAI
2000
Springer
14 years 21 days ago
Solving Permutation Constraint Satisfaction Problems with Artificial Ants
Abstract. We describe in this paper Ant-P-solver, a generic constraint solver based on the Ant Colony Optimization (ACO) metaheuristic. The ACO metaheuristic takes inspiration on t...
Christine Solnon
WOA
2004
13 years 10 months ago
A Conceptual Framework for Self-Organising MAS
Abstract-- In this seminal paper, we sketch a general conceptual framework for self-organising systems (SOSs) that encompasses both stigmergy and MAS coordination, and potentially ...
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cr...
SAC
2002
ACM
13 years 8 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara