5009 search results - page 660 / 1002 » Value chain modelling using system dynamics |
200
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
132
click to vote
QUESTA
2007
15 years 6 months ago
2007
This paper investigates stability behavior in a variant of a generalized Jackson queueing network. In our network, some customers use a join-the-shortest-queue policy when enterin...
161
click to vote
JIFS
2006
15 years 6 months ago
2006
Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations...
169
Voted
INFOVIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we demonstrate how we applied information visualization techniques to process monitoring. Virtual instruments are enhanced using history encoding – instruments are...
177
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...