Sciweavers

5009 search results - page 300 / 1002
» Value chain modelling using system dynamics
Sort
View
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
16 years 7 days ago
EA models and population fixed-points versus mutation rates for functions of unitation
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...
J. Neal Richter, John Paxton, Alden H. Wright
SPIN
2000
Springer
15 years 10 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
JSW
2007
94views more  JSW 2007»
15 years 6 months ago
Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
David Saint-Voirin, Christophe Lang, Hervé ...
IAT
2010
IEEE
15 years 4 months ago
Trustworthiness Tendency Incremental Extraction Using Information Gain
Computational trust systems are getting popular in several domains such as social networks, grid computing and business-to-business systems. However, the estimation of the trustwo...
Joana Urbano, Ana Paula Rocha, Eugenio Oliveira
ISCAS
2006
IEEE
101views Hardware» more  ISCAS 2006»
16 years 23 days ago
Neuromimetic ICs and system for parameters extraction in biological neuron models
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
Sylvain Saïghi, Yannick Bornat, Jean Tomas, S...