2024 search results - page 154 / 405 » A Formal Model of Multi-agent Computations |
127
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
145
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
163
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
114
click to vote
ICCSA
2005
Springer
15 years 10 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
132
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...