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.
Precision agriculture is a data-driven farming practice that uses intra-and inter-field information to optimize farming operations. The "brain" of precision agriculture is a decision support system (DSS) that acquires data from various sources, analyzes them, and recommends actions to farmers. Recently cloud computing has been used to improve the scalability and reliability of a DSS. Cloud-based...
Test case generation is often cited as one of the most challenging tasks in testing dependable systems [9]. Besides benefits as a verification technique by its own right, model checking is emerging as an efficient method for automating test case generation. Existing testing criteria and a range of new criteria, namely the vacuity-based ones, inspired by formal requirements have been used in model-checking-assisted...
Ontology construction can allow users or agents of software to arrive at consistent views about organization structure of information, even improve the reusability in the professional fields. However, because of the differences between domains, there is no existing technical route as the standard method for ontology construction at the present time. This paper offers an improved ontology construction...
As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectness and extra overhead. Therefore, generating OCL constraints template for UML models is a superior solution...
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.