Sciweavers

1133 search results - page 64 / 227
» Modeling and Control of Distributed Asynchronous Computation...
Sort
View
IPPS
2003
IEEE
15 years 3 months ago
Parallel Heterogeneous Genetic Algorithms for Continuous Optimization
In this paper we address the physical parallelization of a very efficient genetic algorithm (GA) known as gradual distributed real-coded GA (GD-RCGA). This search model naturally...
Enrique Alba, Francisco Luna, Antonio J. Nebro
GI
2005
Springer
15 years 3 months ago
Distributed User Modeling for Situated Interaction
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
Dominik Heckmann
ATAL
2011
Springer
13 years 9 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
EUC
2005
Springer
15 years 3 months ago
Dealing with Emotional Factors in Agent Based Ubiquitous Group Decision
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...
Goreti Marreiros, Carlos Ramos, José Neves