29143 search results - page 48 / 5829 » A Sortation System Model |
EUC
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
MOMPES
2006
IEEE
14 years 1 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
In our model agent-based e-commerce system [2] we have assumed that a certain number of items of a given product is available for sale. In this note we introduce a model logistics...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...