Sciweavers

8547 search results - page 1529 / 1710
» Business process management
Sort
View
WSC
2008
15 years 9 months ago
Reducing Emergency Department overcrowding - five patient buffer concepts in comparison
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
Erik Michael Wilhelm Kolb, Jordan Peck, Sebastian ...
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
15 years 8 months ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram
CAISE
2008
Springer
15 years 8 months ago
Round-Trip Engineering for Maintaining Conceptual-Relational Mappings
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
Yuan An, Xiaohua Hu, Il-Yeol Song
CBSE
2008
Springer
15 years 8 months ago
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
Patricia López Martínez, José...
« Prev « First page 1529 / 1710 Last » Next »