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.
Tree automata turned out to be a very convenient framework for modeling and proving properties on infinite systems like communication protocols, Java programs and also in the context of XML programming. Unfortunately, these works are not always supported by efficient verification and validation tools. This paper investigates the use of two SAT solvers --- MiniSat and picoSat --- to evaluate queries...
The Naval Research Laboratory's (NRL) Digital Mapping, Charting and Geodesy Analysis Program (DMAP) team, located at Stennis Space Center, conducts research involving the online storage and manipulation of geospatial data. One aspect of this research concerns metadata. Metadata is ?data about data? or simply put, various bits of information that provide an understanding of certain aspects of the data...
Enhancing transactional performance for XML metadata knowledge bases (XMKBs) is crucial, as XML is widely used to describe metadata in knowledge bases for data integration. In XMKBs, XML elements, attributes, and texts illustrate knowledge entities' types and contents, while the parent/child and ID/IDREF(s) relationships state the associations among knowledge entities. XML documents in XMKBs exhibit...
The way people learn out of university has much more in common with self-learning and problems-guided learning than with the classical way of teaching, with a teacher speaking in a class and all the students listening with a passive attitude. This paper proposes an exercise to motivate students to learn and use some advanced programming concepts such as the use of well-formed and valid XML documents;...
We propose a new solution named interface client/logic server (ICLS), targeting dialog-based interactive services, supporting user interface (UI) migration, and offering adaptive UIs for devices and services. Constant improvements of technology have brought a large variety of platforms, and that has made userspsila new demands about the services. The first is that the users would like to use services...
XML is a popular approach to interoperable exchange of data between a wide range of devices. This paper explores the use of the remote XML exchange protocol as a mechanism to provide efficient interaction with complex XML documents to users with limited complexity devices and/or limited bandwidth connections. The interactive mechanisms provided by the protocol allow users to navigate, edit and download...
Securing data is becoming a crucial need for most Internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ensure that data, when moving among different parties, are modified only according to the stated policies has been so far not deeply investigated. In this paper, the authors proposed an approach supporting parallel and distributed...
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.