938 search results - page 85 / 188 » Mathematical Modelling the Ethnic System |
172
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
We investigate an optimal scheduling problem in a discrete-time system of L parallel queues that are served by K identical servers. This model has been widely used in studies of em...
165
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
138
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
142
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
160
click to vote
LISA
2000
15 years 6 months ago
2000
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...