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.
Describing and verifying Web services using formal method in Web service configuration are a hot research. According to relevant semantics of configuration elements of Web service ontology, ¦Ð-calculus was applied as formal tool to describe and model Web services configuration. The dynamic behaviors of the established model could be verified and configuration errors such as deadlocks could be detected...
The context in intelligent domotic home (IDH) is very complicated. In this paper, in order to achieve the context-aware ability based on the DOG (domotic OSGi gateway) which is desiged for IDH, not only the information about the domotic devices and the building components, but also the characteristics and behaviors of users are concerned as the context. According to the context, a new context ontology...
The quality of the ontology's contents in various themes, which could be in different granularities or the combination of some themes, should be taken into account when evaluate the ontology. In this paper, we solve the issue by modeling the satisfaction of ontology-themes based on Bayesian network. And also, we propose a series of methods to manage the themes in ontology and evaluations from users...
Nowadays domotic systems have the potential of providing low cost, readily available services and intelligence comparable to futuristic Smart Homes. However they suffer from serious interoperation problems, which are currently preventing their wide spread adoption in real-world intelligent homes. This paper proposes a rule-based approach to interoperation between different domotic networks, with a...
With the rapid expanse of the web service over the internet, discovering relevant web services becomes a significant challenge. To tackle this problem, a service-discovering framework based on behavioral equivalence is proposed in this paper. First, pi-calculus as a formal tool is adopted to express service behavior, including the published services and the query services. Then, the reverse engineering...
With regard to the integration issue of product design and catalog information in PLM (product life-cycle management), we proposed an ontology-based semantic integration framework. In this paper, the Semantic Matchmaker component of the framework is discussed in detail and matching techniques used are presented. Our matching approach takes terminological and structural matching methods as main solutions...
Since the current Web is largely unorganized and there is a rapid growth of information volumes, the recommendation system whose major purpose is to reduce irrelevant content and to provide users with more pertinent and tailored information becomes an important research area. A key issue in this area is how to discover user's interest and behavior effectively. In this paper we investigate an approach...
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.