Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.