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.
Role play has a long history as a tool for learning. It is often used to simulate practices in the world in an environment where consequences can be mitigated. Despite its effective use by the armed forces, emergency responders, negotiators, and political campaign managers, role play is a tool seldom used in STEM classrooms. In this paper, we will describe the incorporation of certain aspects of role...
Amongst the casualties of the electronic age has been a number of institutions and the values and services associated with them. One example of such is the postal service and the concept of sealed, private correspondence. The universal postal service was one of the great social developments of the 19th century. Today, while such services continue to exist in almost every country in the world, much...
The paper discusses foundations and requirements for testing security robustness aspects in operational environments while adhering to defined protection values for data. It defines the problem space and special characteristics of security testing in large IT infrastructures. In this area there are different environments with varying characteristics, e.g., regarding confidentiality of data. Common...
To ensure legal compliance, requirements engineers need tools to determine existing software requirements' compliance with relevant law. We propose using a production rule model for requirements engineers to query as they check software requirements for legal compliance. In this paper, we perform a case study using our approach to evaluate the iTrust Medical Records System requirements for compliance...
Aiming at the phenomenon that the pirate software predominates over the software market, based on the cost characteristics and network externality of software products, this paper analyzes the situation that the software manufacturers are confronted with when taking loose and strict strategies for copyright protection of software, and offers the countermeasures to the software manufacturers.
We have shown in a previous study that selling content-transmutation rights to consumers increases total surplus of both producers and consumers of digital products. Our results were conditional on the absence of piracy. There has been some research on the effect of online piracy in traditional content markets that do not consider consumer transmutation. Some claim that piracy damages producers' surplus...
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system's actual performance complies with the requirement, an effective reasoning and verification mechanism is needed. This paper presents a graph grammar based reverse engineering framework for the behavior verification of high assurance systems. It casts the...
Process modeling and rule modeling languages are both used to document organizational policies and procedures. However, little work has been done to understand their synergies and overlap. Understanding the relationship between the two modeling types would allow organizations to maximize synergies and reduce their modeling effort. In this paper we use the well-established Bunge-Wand-Weber (BWW) representation...
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.