17680 search results - page 223 / 3536 » Simulation of Computer Systems and Applications |
183
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
142
click to vote
ICCS
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
178
click to vote
EDCC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
165
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
192
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...