A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
The global internet is rich in commodity resources but scarce in specialized resources. We argue that a grid framework can achieve better performance if it separates the management...
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...
We study a chemostat model that describes competition between n microbial species for a single-limited resource based on storage. The model incorporates internal resource storage v...