To protect data in tamper resistant software different types of data encodings can be used. To compare security of different encodings on a quantitative base a measure of resistance of data encodings must be introduced.In this paper a measure of resistance of data encodings is proposed as a...

Since the early 2000s, the Supreme Court has issued a series of decisions aimed at reining in what it has viewed as patent system excesses, specifically addressing the need for tightening the patent definiteness requirement in claim drafting. In Nautilus v. Biosig, decided in June 2014, the...

The authors of the paper together with their colleagues have developed and applied a software complex based on the computer algebra system (CAS) ”Mathematica” [1], which allows to model mechanical systems, conduct qualitative investigations and solve some problems of both rigid body...

The authors of the paper together with their colleagues have developed and applied a software complex based on the computer algebra system (CAS) ”Mathematica” [1], which allows to model mechanical systems, conduct qualitative investigations and solve some problems of both rigid body...

The major problematic source towards the organizations and corporates is the accounting field by the way its intended users need to clarify the accounting softwares which are suitable on the basis of their day today accounting and business needs. Mainly the fact in Anuradhapura area is the...

In this paper we propose an emergence-driven software process for agent-based simulation that clarifies the traceability of micro and macro observations to micro and macro specifications in agent-based models. We use the concept of hyperstructures [1] to illustrate how micro and macro...