1109 search results - page 83 / 222 » Towards an analysis of dynamic environments |
IFIP3
2003
14 years 11 months ago
2003
: This paper describes a research project that was carried out to determine and evaluate the learning environment customisations required to support selfmotivated, able, and experi...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers’ route choices are influenced by information at multiple temporal and spat...
110
click to vote
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
104
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
102
click to vote
FUIN
2006
14 years 9 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...