The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about programs. We formalise Universe Types for a core subset of Java in two steps: We first define a Topological Type System that structures the object store hierarchically into an ownership tree, and demonstrate soundnes...

Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and application. They make application developing easier. However, they have one problem that is lacking of simplicity in communication, compatibility and flexibility in building systems. To solve it, we propose one delivery an...

Cloud Manufacturing and Cloud Service is currently one of the main directions of development in the manufacturing industry. Under the CloudManufacturing environment, the characteristics of publishing, updating, searching, and accessing manufacturing resources are massive, complex, heterogeneous, and so forth. A bilayer manufacturing resource model with separation of Cloud End and Cloud Manufact...

Widespread use of sensor and micro processor leads to increasing concerns about context aware computing. Many researches about context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and application. They support making application development easier. However, they have a problem for lack of simplicit...

one way to increase the shelf life of agriculture products is using of controlled atmosphere storages. in order to obtain the controlled gas components, an equipped cold store with cooling system and atmosphere controller system designed and constructed. the injection of co2, o2 and n2 were controlled automatically into the store by programable logic control (plc). the store was a laboratory re...

Although store-operated calcium release-activated Ca(2+) (CRAC) channels are highly Ca(2+)-selective under physiological ionic conditions, removal of extracellular divalent cations makes them freely permeable to monovalent cations. Several past studies have concluded that under these conditions CRAC channels conduct Na(+) and Cs(+) with a unitary conductance of approximately 40 pS, and that int...