2024 search results - page 304 / 405 » A Formal Model of Multi-agent Computations |
189
Voted
GPC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
122
Voted
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
145
Voted
IPL
2007
15 years 3 months ago
2007
Computing a suitable measure of consensus among several clusterings on the same data is an important problem that arises in several areas such as computational biology and data mi...
126
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
132
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...