1382 search results - page 137 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
60
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
EDOC
2000
IEEE
15 years 2 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
ICCD
2005
IEEE
15 years 3 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
89
Voted
EMO
2005
Springer
15 years 3 months ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
79
Voted
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...