1382 search results - page 82 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
136
click to vote
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
120
Voted
ALMOB
2006
15 years 1 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
102
Voted
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
110
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
119
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...