29143 search results - page 378 / 5829 » A Sortation System Model |
171
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
163
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
193
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...
171
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
233
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...