Search results for "Correctness"
showing 9 items of 69 documents
ENFORCEMENT OF INTER-TASK DEPENDENCIES IN WORKFLOWS, CHARACTERIZATION AND PARADIGM
1998
Workflow techniques have gained a lot of attention as a means to support advanced business applications such as cooperative information systems and process re-engineering but also as a means to integrate legacy systems. Inter-task dependencies, described separately from the other parts of the workflow, have been recognized as a valuable method in describing certain restrictions on the executions of workflows. In this paper, we study the issue of pre-analysing and enforcing inter-task dependencies. The protocol and the theory behind it are presented, along with examples and discussions on ways to improve the performance. The idea is to present the meaning of a dependency through an automato…
Learning Automaton Based On-Line Discovery and Tracking of Spatio-temporal Event Patterns
2010
Published version of an article from the book: Lecture Notes in Computer Science, 2010, Volume 6230/2010, 327-338. The original publication is available at Springerlink. http://dx.doi.org/10.1007/978-3-642-15246-7_31 Discovering and tracking of spatio-temporal patterns in noisy sequences of events is a difficult task that has become increasingly pertinent due to recent advances in ubiquitous computing, such as community-based social networking applications. The core activities for applications of this class include the sharing and notification of events, and the importance and usefulness of these functionalites increases as event-sharing expands into larger areas of one’s life. Ironically, …
Supporting Impact Analysis by Program Dependence Graph Based Forward Slicing
2007
Since software must evolve to meet the typically changing requirements, source code modifications can not be avoided. Impact analysis is one of the central and relatively demanding tasks of software maintenance. It is constantly needed while aiming at ensuring the correctness of the made modifications. Due to its importance and challenging nature automated support techniques are required. Theoretically, forward slicing is a very suitable technique for that purpose. Therefore, we have implemented a program dependence graph (PDG) based tool, called GRACE, for it. For example, due to the typical rewritings of Visual Basic programs there is a great need to support their impact analysis. However…
Reliable numerical solution of a class of nonlinear elliptic problems generated by the Poisson-Boltzmann equation
2020
We consider a class of nonlinear elliptic problems associated with models in biophysics, which are described by the Poisson-Boltzmann equation (PBE). We prove mathematical correctness of the problem, study a suitable class of approximations, and deduce guaranteed and fully computable bounds of approximation errors. The latter goal is achieved by means of the approach suggested in [S. Repin, A posteriori error estimation for variational problems with uniformly convex functionals. Math. Comp., 69:481-500, 2000] for convex variational problems. Moreover, we establish the error identity, which defines the error measure natural for the considered class of problems and show that it yields computa…
Col : A Data Collection Protocol for Vanet
2012
International audience; In this paper, we present a protocol to collect data within a vehicular ad hoc network (VANET). In spite of the intrinsic dynamic of such network, our protocol simultaneously offers three relevant properties: (1) It allows any vehicle to collect data beyond its direct neighborhood (i.e., vehicles within direct communication range) using vehicle-to-vehicle communications only (i.e., the infrastructure is not required); (2) It tolerates possible network partitions; (3) It works on demand and stops when the data collection is achieved. To the best of our knowledge, this is the first collect protocol having these three characteristics. All that is chiefly obtained thanks…
A Practical Joke in Public Sphere – a Polish Case Study
2017
The aim of the paper is to show multiple layers of discourse and the consequences of a particular practical joke that has been played at a local public event and has become a theme for media coverage nationwide. Students in one of Polish high schools brought a goat as a present to their headmaster and handed it in during their commencement ceremony. Some event participants reported it to the Animal Welfare Society claiming that the goat was mistreated. It seemed that it was not eager to be led on a leash and it urinated, which was interpreted as a sign of discomfort and stress. The story became a headline first in the local and then in the national press and television, and was accompanied …
Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – IS…
2018
This three-volume set of books presents advances in the development of concepts and techniques in the area of new technologies and contemporary information system architectures. It guides readers through solving specific research and analytical problems to obtain useful knowledge and business value from the data. Each chapter provides an analysis of a specific technical problem, followed by the numerical analysis, simulation and implementation of the solution to the problem. The books constitute the refereed proceedings of the 2017 38th International Conference “Information Systems Architecture and Technology,” or ISAT 2017, held on September 17–19, 2017 in Szklarska Poręba, Poland. The con…
Etnolingwistyczne rozważania na temat przekładu na język angielski leksemów typu 'pierogi ruskie', 'barszcz ukraiński', 'fasolka po bretońsku', 'ryba…
2018
In today’s world, international tourism is one of the most quickly and dynamically developing sectors of economy. In the year 2012 – for the first time in the history of mankind – international tourist arrivals exceeded the milestone of one billion tourists globally, and within merely the 20 years’ time, i.e. between 1995 and 2015, the number of people travelling abroad as tourists more than d o u b l e d. The phenomenon also refers to the inbound tourism in Poland – with more than 16 million international tourists who visited our country in 2015. Obviously, on the one hand, the fact is highly beneficial to the state’s international prestige and economy, but on the other one – it does creat…
A Preliminary Analysis of the Importance of Distance, Angle, and Insight When Soccer Referees Make Penalty Decisions
2021
Soccer referees move freely on the pitch to place themselves in the best location for making decisions. While Football Association UK (FA) highlights that a referee should never be more than 20 m away from the playing situation, previous studies have been inconsistent in indicating appropriate distance to a situation for increasing the likelihood of a correct decision. Further, appropriate angle and insight are also likely to influence the correctness of referees' decisions. The aim of this study was to provide an initial investigation of elite referees' positioning in the field (distance, angle, and insight) when making correct and erroneous decisions in potential penalty situations. An ex…