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.
The respond of traditional Web application to user interface is slow and wasting bandwidth, which bring user a lot of inconvenience, while the emergence of Ajax has changed this situation. Ajax can maintain data without refreshing the page, which greatly reduce the time of waiting for a large number of exchanged data for user. The advantages of both is fully demonstrated by the support which Struts2...
Theoretical computer science has been occupied with formal methods since the beginning. It has had its share of challenges, though. Often, excessive additional work is required to re-specify applications precisely in a new formalism, so that they can be analyzed algorithmically. With more model-based software engineering, this may have changed. In many instances, specifications are now complete and...
Access control on form-based Web information systems has become one of the useful methods for implementing client systems in a service-oriented architecture. In particular, XForms language is being adopted in many systems as a description language for XML-based user interfaces and server interactions. In this paper, we propose an efficient algorithm for the evaluation of XPath-based access rules for...
The emerging paradigm of pervasive computing and Web services needs a flexible service discovery and composition infrastructure. The widespread use of Web services in pervasive environments is hindered by the lack of adequate security and privacy support. In this paper, we discuss an access control protocol for conversation-based (composite) Web services. This approach takes into account the conversational...
Fault Trees are widely employed in the industrial practice to support safety and reliability analysis. Various works have improved the classic formulation by replacing fixed probabilities of leaf events with Markovian distributions over time. We present operation principles, user interface and implementation architecture of a tool supporting editing and evaluation of Fault Trees where the time of...
The development of systems for the mobile environment is considered complex due to the great number of aspects to be analyzed, such as constant changes of localization and the diversity of devices. In this context appears the necessity of more flexibility for the modeling and implementation of systems. This article presents an architecture for the generation of adaptive interfaces (GAI) which has...
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.