Sciweavers

11484 search results - page 609 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
AAMAS
2008
Springer
15 years 7 months ago
Using quantitative models to search for appropriate organizational designs
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
Bryan Horling, Victor R. Lesser
214
Voted
BMCBI
2005
102views more  BMCBI 2005»
15 years 7 months ago
Modelling the interaction of steroid receptors with endocrine disrupting chemicals
Background: The organic polychlorinated compounds like dichlorodiphenyltrichloroethane with its metabolites and polychlorinated biphenyls are a class of highly persistent environm...
Pasqualina D'Ursi, Erika Salvi, Paola Fossa, Lucia...
FIMH
2005
Springer
16 years 24 days ago
Dissipation of Excitation Fronts as a Mechanism of Conduction Block in Re-entrant Waves
Numerical simulations of re-entrant waves in detailed ionic models reveal a phenomenon that is impossible in traditional simplified mathematical models of FitzHugh-Nagumo type: di...
Vadim N. Biktashev, Irina V. Biktasheva
WDAG
2001
Springer
100views Algorithms» more  WDAG 2001»
15 years 11 months ago
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...
Faith E. Fich, Colette Johnen
ADAEUROPE
2008
Springer
15 years 9 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs