1915 search results - page 137 / 383 » A language for functional interpretation of model based simu... |
156
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
162
click to vote
ISCI
2008
15 years 4 months ago
2008
This paper considers nonlinear modeling based on a limited amount of experimental data and a simulator built from prior knowledge. The problem of how to best incorporate the data ...
146
click to vote
DSP
2006
15 years 4 months ago
2006
Cross correlation function (CCF) of signals is an important tool of multi-sensors signal processing. Parabola functions are commonly used as parametric models of the CCF in time d...
149
click to vote
MABS
2005
Springer
15 years 10 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
140
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...