Sciweavers

77016 search results - page 75 / 15404
» Modeling Modeling
Sort
View
CADE
2004
Springer
14 years 10 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
WSC
1998
13 years 11 months ago
Modeling Cardiac Ion Channel Conductivity: Model Fitting via Simulation
We describe a Markov state model for a cloned potassium channel of the human heart ( 1KvLQTI ). The parameters of the model are determined by a least-squares fit of predicted vs. ...
John L. Maryak, Richard H. Smith, Raimond L. Winsl...
ICCS
2003
Springer
14 years 3 months ago
Visual Modeler for Grid Modeling and Simulation (GridSim) Toolkit
Abstract. The Grid Modeling and Simulation (GridSim) toolkit provides a comprehensive facility for simulation of application scheduling in different Grid computing environments. H...
Anthony Sulistio, Chee Shin Yeo, Rajkumar Buyya
APCCM
2008
13 years 11 months ago
Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CG
2006
Springer
13 years 10 months ago
Function-based shape modelling extension of the Virtual Reality Modelling Language
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
Qi Liu, Alexei Sourin