Sciweavers

2302 search results - page 167 / 461
» Privacy-preserving Distributed Clustering using Generative M...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
RTCSA
2008
IEEE
16 years 21 days ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...
175
Voted
CISS
2008
IEEE
15 years 8 months ago
Portfolio diversification using subspace factorizations
Abstract-- Successful investment management relies on allocating assets so as to beat the stock market. Asset classes are affected by different market dynamics or latent trends. Th...
Ruairi de Frein, Konstantinos Drakakis, Scott Rick...
PVM
2005
Springer
15 years 11 months ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
AAAI
2007
15 years 8 months ago
Minimal Mental Models
Agents must form and update mental models about each other in a wide range of domains: team coordination, plan recognition, social simulation, user modeling, games of incomplete i...
David V. Pynadath, Stacy Marsella