The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Automatic assessment of proving problems is very important is mathematic e-learning systems. It accepts the answer of a proving problem, which can be written in a controlled natural language, and then translates it into a formal proof, e.g. in Isabelle/Isar. The correctness of the original answer is equivalent to that of the formal one obtained from the translation, which can be verified in a theorem...
In e-Science environment researchers intend to be informed of events related with their works, including the current states of computing services, service workload and so on. So it is necessary to provide a Publish/Subscribe System in e-Science environment. Also there are some issues in Broker Management in Publish/Subscribe System, such as the abnormal breakdown and the overload of broker. An effective...
In e-science environment researchers pay great attention to some events, such as the current states of computing services which related with their works and some new computing services. So we adopt the publish/subscribe system in e-science environment to satisfy the requirement. Broker management in publish/subscribe system is important because it affects directly the stability and robustness of the...
Grid has attracted great attention of researchers during the past years. With its developing, it has coped with an increasing amount of complicated data and huge heterogeneous databases. So it is indispensable to develop a middleware that could access and integrate heterogeneous databases. Therefore, we propose a new fundamental architecture of the heterogeneous database access and integration in...
SWF, short for scientific workflow, has recently emerged as a paradigm for orchestrating large-scale e-Science applications. SWF specification connects workflow designer with workflow engine, which makes it act ass one of the key components in SWF systems. We adopted BPEL as the Gird-based SWF specification because of its potential benefits to promote SWF sharing and reproducibility. However, grid-based...
Scientific workflows are becoming increasingly important as a mechanism for orchestrating distributed resources such as computational devices, data, applications, and scientific instruments on the grid environment. BPEL is generally accepted as a de-facto standard for web-services composition. However, the lack of generic graphical interfaces that abstract the technical details for domain scientists...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.