Sciweavers

2722 search results - page 360 / 545
» The Model Evolution Calculus
Sort
View
124
Voted
DAIS
2001
15 years 4 months ago
Software Connectors and their Role in Component Deployment
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
Dusan Bálek, Frantisek Plasil
114
Voted
EOR
2008
119views more  EOR 2008»
15 years 2 months ago
Market sharing dynamics between two service providers
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...
Olivier Gallay, Max-Olivier Hongler
ENTCS
2007
104views more  ENTCS 2007»
15 years 2 months ago
Exogenous Probabilistic Computation Tree Logic
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan,...
139
Voted
ALIFE
2004
15 years 2 months ago
Development and the Baldwin Effect
Baldwin's classic hypothesis states that behavioral plasticity can speed evolution by (a) smoothing the fitness landscape and (b) indirect genetic assimilation of acquired cha...
Keith L. Downing
129
Voted
ASC
2004
15 years 2 months ago
Solving nonconvex climate control problems: pitfalls and algorithm performances
Global optimization can be used as the main component for reliable decision support systems. In this contribution, we explore numerical solution techniques for nonconvex and nondi...
Carmen G. Moles, Julio R. Banga, Klaus Keller