Sciweavers

1511 search results - page 76 / 303
» Event Processing - past, present and future
Sort
View
CCE
2006
15 years 4 months ago
A multiscale systems approach to microelectronic processes
This paper describes applications of molecular simulation to microelectronics processes and the subsequent development of techniques for multiscale simulation and multiscale syste...
Richard D. Braatz, Richard C. Alkire, Edmund G. Se...
151
Voted
XIMEP
2004
ACM
108views Database» more  XIMEP 2004»
15 years 9 months ago
The Joy of SAX
Most current XQuery implementations require that all XML data reside in memory in one form or another before they start processing the data. This is unacceptable for large XML doc...
Leonidas Fegaras
WSC
2008
15 years 6 months ago
C-5 Isochronal inspection process modeling
United States Air Mobility Command (AMC) has a limited number of C-5 aircraft, and so opportunities to either preserve or increase aircraft availability are of interest to them. I...
Alan W. Johnson, Charles Glasscock, Adam Little, M...
FAC
2008
114views more  FAC 2008»
15 years 4 months ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe
CCE
2006
15 years 4 months ago
Air separation control technology
Achieving high performance process control (HPPC) requires that the control system operate the plant at optimal efficiency over the full range of steady state and dynamic conditio...
David R. Vinson