2067 search results - page 181 / 414 » Modeling and Simulation of Operating System Behavior |
121
click to vote
IDEAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
132
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
102
Voted
WSC
2001
15 years 4 months ago
2001
In most physical queueing applications, customers join a queue and move forward after each service, leaving room for others to join behind them. Some queues found in material hand...
104
Voted
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
148
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...