Sciweavers

4872 search results - page 224 / 975
» CBR for Modeling Complex Systems
Sort
View
ICFEM
2007
Springer
15 years 11 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
WSC
1998
15 years 6 months ago
Interference Radius in PCS Radio Resource Management Simulations
Simulation is widely used for performance analysis of Personal Communication Systems due to their inherent complexity. However, resource demands (cpu-time and memory requirements)...
Michael Liljenstam, Rassul Ayani
WSC
2008
15 years 7 months ago
Using Little's Law to estimate cycle time and cost
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
Kristin Rust
PCI
2001
Springer
15 years 9 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
VRML
2004
ACM
15 years 10 months ago
Interactive Web-based visualisation of block model data
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
Tony Gill, Con Caris, Guy LeBlanc Smith