Sciweavers

448 search results - page 53 / 90
» The Complexity of Codiagnosability for Discrete Event and Ti...
Sort
View
ICFEM
2007
Springer
14 years 1 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
2008
13 years 10 months ago
Modeling and simulation of multinational intra-theatre logistics distribution
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...
Ahmed Ghanmi, Gregory B. Campbell, Thomas A. Gibbo...
SIGMETRICS
2006
ACM
174views Hardware» more  SIGMETRICS 2006»
14 years 1 months ago
Understanding the management of client perceived response time
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
David P. Olshefski, Jason Nieh
COMPGEOM
2009
ACM
14 years 11 days ago
Kinetic spanners in Rd
We present a new (1 + ε)-spanner for sets of n points in Rd . Our spanner has size O(n/εd−1 ) and maximum degree O(logd n). The main advantage of our spanner is that it can be...
Mohammad Ali Abam, Mark de Berg
TASE
2008
IEEE
13 years 7 months ago
Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
Vincenzo Giordano, Jing Bing Zhang, David Naso, Fr...