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.
Mistakes are generally considered a negative phenomenon. There is however a positive face of mistakes, essential in learning, in teaching, in scientific research and in any creative work. We discuss the reason of this fact, we give several such examples and we show how various historical failures in some respect became important successes in another respect. In a second part of this paper, three types...
Programming via rewriting is a part of the declarative programming which is illustrated by the languages: OBJ, Maude, CafeOBJ, CASL and so on. Programming via rewriting is very close to the equational logic. In the equational logic a set Γ of axioms is given. Axioms are Horn clauses, called also conditional equations. We are looking for all universal quantified equalities which are consequences...
Recently, parallel computation has become necessary to take full advantage of the gains allowed by Moore's law. Many scientific and engineering applications exhibit data parallelism but might not make full use of it. Some ubiquitous operations such that the dot product can easily be parallelized and then make good use of available hardware, like multi-core or GPU. In this paper, we provide two slightly...
Based on our past research work in the Web 2.0 management area, where we introduced a new management technique, we present a case study of the technique in this paper. It takes into account the new trends in the Internet which became a provider of highly available services with many features presented to a user, but in a decent and easy-to-use manner. We try to address the requirements proposed by...
Due to the heterogeneity of the semantic web, the integration of client applications and services using slightly different ontologies is a major challenge, shown by the significant research effort directed towards aligning ontologies and identifying matching concepts. A novel method for service selection by matching a query with services, represented by input and output parameters and a description,...
This paper presents a distributed solution of the synchronization of Business Intelligence (BI) Systems via networking services. The main problem addressed by the proposed project is to create a common solution that allows automatically redeploying of business intelligence applications among different servers located in the Internet. A case study by using the Microsoft BizTalk Server as a Business...
This paper tackles selected problems related to the use of unreliable third-party software libraries or hardware when developing, monitoring and supporting large, mission critical service systems. It is based on experience gathered at the Institute of Computer Science, Masaryk University (ICS MU), while developing software applications working with third-party access control and security systems....
The continuous development of Internet bandwidth, communication and content variety have enabled peer-to-peer protocols to take place among the most heavily used protocols in the Internet, with BitTorrent as the current flagship. Recent research has focused on measuring Peer-to-Peer systems and proposing improvements and enhancements to existing protocol with the goal of ensuring rapid content distribution...
Automatic dynamic web service composition is showing to be an effective way how to deal with the dynamic character of the web services and business environment, while providing a mechanism supplying varying user goals. This paper briefly introduces the undesired service execution effects influencing the service composition and achievement of the user goal. We discuss a solution eliminating the undesired...
An application should be self-adaptive in order to automatically and autonomously adapt its behavior for several reasons, such as service evolution (e.g. a new version may be available), hardware volatility (e.g. network quality changes) and varying users demands with new requirements (e.g. a new functionality or a different level of quality of service). In this paper we introduce a framework, based...
The SORMSYS project's main goal is to optimize resource management in large scale distributed systems with the capability of self-organization. This paper will present the design of management architecture based on existing middleware solutions through the design of algorithms and methods inspired by natural models. The architecture is full decentralized and it will aim to optimize resource management...
As non-functional properties of composite software services involve a good deal of uncertainty, we consider them as shared goals for an agent team. An architect is focused on choosing each service and its provider, while the consultant will suggest, when help is possible, an alternative so that the likelihood of success is maximized. We employ a structure called”Belief Recipe Tree”...
We prove a new lower bound for the decision complexity of a complex algebraic set in terms of the sum of its (compactly supported) Betti numbers, which is for the first time better than logarithmic. We apply this result to subspace arrangements including some well studied problems such as the knapsack and element distinctness problems.
Recent development of eLearning Platforms, presentation technologies and user interaction methods has enabled the development of new, more complex and more efficient teaching materials for Earth Observation domain. However, the process of creating new learning resources is not a trivial task and most of the time technical knowledge is required for such an action. Furthermore, the data that is usually...
Accurate computer recognition of handwritten mathematics offers to provide a natural interface for mathematical computing, document creation and collaboration. Mathematical handwriting, however, provides a number of challenges beyond what is required for the recognition of handwritten natural languages. For example, it is usual to use symbols from a range of different alphabets and there are many...
This paper presents an overview of the initiative based on non-commercial software, which is being carried out in the University of La Rioja, to develop an e-Science and e-Learning Web-Site with the aim to encourage open science and e-Collaboration. This infrastructure is focused on supplying free access to a variety of symbolic and numeric applications related to Dynamics Systems, in general, and...
Recently, we have proposed a recursive partitioning based layout for multi-core computations on sparse matrices. Based on positive results of our initial experiments with matrix-vector multiplication, we discuss how this storage format can be utilized across a range of BLAS-style matrix operations.
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.