Sciweavers

2357 search results - page 122 / 472
» Computing Refactorings of Behavior Models
Sort
View
EVOW
2008
Springer
15 years 4 months ago
Option Model Calibration Using a Bacterial Foraging Optimization Algorithm
The Bacterial Foraging Optimization (BFO) algorithm is a biologically inspired computation technique which is based on mimicking the foraging behavior of E.coli bacteria. This pape...
Jing Dang, Anthony Brabazon, Michael O'Neill, Davi...
111
Voted
ICCS
2005
Springer
15 years 8 months ago
A Fuzzy Index Tracking Portfolio Selection Model
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
Yong Fang, Shouyang Wang
FOSSACS
2003
Springer
15 years 8 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
ICWE
2010
Springer
15 years 1 months ago
Model-Driven Web Engineering Performance Prediction with Layered Queue Networks
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
Alessio Gambi, Giovanni Toffetti, Sara Comai
132
Voted
ICASSP
2011
IEEE
14 years 6 months ago
A stochastic compartmental approach to modeling and simulation of cancer spheroid formation and evolution
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
Mónica F. Bugallo, Shishir Dash, Galina Bot...