4341 search results - page 824 / 869 » Quantitative Model checking |
ECIS
2004
13 years 11 months ago
2004
The banking landscape in Europe and Germany has a polypolistic market structure with an average vertical range of integration of 80%, implying high process redundancies. Accumulat...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
AIPS
2010
13 years 10 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
BMCBI
2010
13 years 10 months ago
2010
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
BMCBI
2010
13 years 10 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...