611 search results - page 54 / 123 » Relative simulation and model checking of real-time processe... |
112
Voted
ISMB
1998
15 years 1 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
104
click to vote
MABS
2004
Springer
15 years 5 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
116
Voted
MABS
2000
Springer
15 years 4 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
107
Voted
FDL
2011
IEEE
14 years 8 days ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
118
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...