Sciweavers

1595 search results - page 37 / 319
» Illustrative Parallel Coordinates
Sort
View
CONCURRENCY
2004
90views more  CONCURRENCY 2004»
15 years 6 months ago
Programming and coordinating Grid environments and applications
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
Cristina D. Ururahy, Noemi de La Rocque Rodriguez
COORDINATION
2004
Springer
15 years 11 months ago
Enforcement of Communal Policies for P2P Systems
Abstract. We consider the question of how to establish and enforce communal policies for peer-to-peer (P2P) communities. Generally, members of each P2P community must conform to an...
Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguye...
COORDINATION
2008
Springer
15 years 8 months ago
A Process Calculus for Mobile Ad Hoc Networks
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
IJSIR
2010
122views more  IJSIR 2010»
15 years 1 months ago
Biases in Particle Swarm Optimization
It is known that the most common versions of particle swarm optimization (PSO) algorithms are rotationally variant. It has also been pointed out that PSO algorithms can concentrat...
William M. Spears, Derek T. Green, Diana F. Spears
COORDINATION
2008
Springer
15 years 8 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone