When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
Xin Li, Zhou Lei, Christopher D. White, Gabrielle ...
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
This paper explores the design issues of situated play within a museum through the study of a museum guide prototype that integrates a tangible interface, audio display, and adapti...
Internet business has grown at an unprecedented rate in the past several years. Recent research has found that the functions provided by a store have a significant impact on custo...