İşletmelerin küresel ekonomik rekabet ortamında faaliyetlerini gerçekleştirmesi, işletmelerin bilgi teknolojilerine dayalı mal ve hizmet üretim süreçleri oluşturmalarını zorunlu hale getirmektedir. Artan teknoloji kullanımı karşısında gerçekleştirilen faaliyetlere ait alt işlem süreçlerinin kontrol altına alınması yönetilmesi iç sistemlerine kritik bir rol yüklemektedir. Daha fazla sürecin veri...

Presidential primaries are a critical part of the United States electoral process, since they used to select candidates in election. While methods differ by state and party, many involve proportional delegate allocation using so-called Hamilton method. In this paper we show how conduct risk-limiting audits for elections variants method where viability is determined either plurality vote or inst...

The water treatment plant (WTP) employs a variety of electrical machines and utilities, making it an intensive energy consumption plant. In this study, audit was conducted on the Basbari WTP in Kathmandu, Nepal to identify hotspots that consume most recommend solutions for energy-efficient operation. A power quality analyzer used analyze patterns parameters data from electricity authority. stud...

We consider a decentralized setting in which agents exchange data along with usage policies. Agents may violate the intended usage policies, although later on auditing authorities may verify the agents’ data accountability with respect to the intended policies. Using timestamping and signature schemes, we design and analyze an efficient cryptographic protocol generating communication evidences ...

This paper describes the use of programming language constructs to support run-time software adaptation. A prototype language, Adaptive Java, contains primitives that permit programs to modify their own operation in a principled manner. In case studies, Adaptive Java is being used to support adaptation for different crosscutting concerns associated with heterogeneous mobile computing and critic...

one of the services provided by the cloud environment is cloud storage which allows users to store, remotely manage and access their data over the internet. However, the limited control granted to users over remote cloud nodes makes users worry about the integrity of their data as the user’ data can be accessed or modified by external attackers. Therefore, a new terminology called data auditing...

We address the problem of auditing an election when precincts may have different sizes. Prior work in this field has emphasized the simpler case when all precincts have the same size. Using auditing methods developed for use with equal-sized precincts can, however, be inefficient or result in loss of statistical confidence when applied to elections with variable-sized precincts. We survey, eval...

We use a controlled laboratory setting to experimentally examine the role of auditing and market-based-governance in restraining managerial expropriation and inaccurate financial reporting. Managerial expropriation is broadly defined as the enabling of all actions that opportunistically transfer wealth from investors to managers through understatement of realizable income. Similarly, auditing i...