Sciweavers

1915 search results - page 271 / 383
» A language for functional interpretation of model based simu...
Sort
View
ECOWS
2008
Springer
15 years 6 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
136
Voted
JSW
2010
83views more  JSW 2010»
15 years 2 months ago
Estimating Model Parameters of Conditioned Soils by using Artificial Network
—The parameter identification of nonlinear constitutive model of soil mass is based on an inverse analysis procedure, which consists of minimizing the objective function represen...
Zichang Shangguan, Shouju Li, Wei Sun, Maotian Lua...
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 5 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
156
Voted
SBACPAD
2003
IEEE
137views Hardware» more  SBACPAD 2003»
15 years 9 months ago
Exploring Memory Hierarchy with ArchC
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
CCE
2008
15 years 4 months ago
A kinematic model of continuous separation and classification of polydisperse suspensions
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
Raimund Bürger, A. García, Kenneth H. ...