Sciweavers

34181 search results - page 6676 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
111
Voted
ENTCS
2008
75views more  ENTCS 2008»
15 years 3 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn
150
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 3 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
143
Voted
ENVSOFT
2008
120views more  ENVSOFT 2008»
15 years 3 months ago
Extension and evaluation of sensitivity analysis capabilities in a photochemical model
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
S. L. Napelenok, D. S. Cohan, M. T. Odman, S. Tons...
122
Voted
EOR
2008
78views more  EOR 2008»
15 years 3 months ago
Managing the overflow of intensive care patients
Abstract. Many hospitals in the Netherlands are confronted with capacity problems at their Intensive Care Units (ICUs) resulting in cancelling operations, overloading the staff wit...
Nelly Litvak, Marleen van Rijsbergen, Richard J. B...
127
Voted
AUTOMATICA
2006
101views more  AUTOMATICA 2006»
15 years 3 months ago
A risk-sensitive approach to total productive maintenance
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
Abhijit Gosavi
« Prev « First page 6676 / 6837 Last » Next »