2042 search results - page 312 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
101
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
111
click to vote
WSC
2007
15 years 5 months ago
2007
Delays in the check-in system at an airport vary with times of the day, day of the week, and types of check-in modes chosen by the passengers. Extensive data collection of the che...
132
click to vote
WSC
2008
15 years 5 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
114
click to vote
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
115
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...