Sciweavers

508 search results - page 35 / 102
» Parallel Modeling of Fish Interaction
Sort
View
DCOSS
2006
Springer
14 years 24 days ago
When Birds Die: Making Population Protocols Fault-Tolerant
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
COLCOM
2008
IEEE
13 years 11 months ago
Towards Continuous Workflow Enactment Systems
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
Panayiotis Neophytou, Panos K. Chrysanthis, Alexan...
PPAM
2007
Springer
14 years 3 months ago
Implementing Commodity Flow in an Agent-Based Model E-Commerce System
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Mar...
IPPS
2003
IEEE
14 years 2 months ago
Performance Modeling for Entity-Level Simulations
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...
Alan Su, Francine Berman, Henri Casanova
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
14 years 2 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof