The CMS Dataset Bookkeeping System (DBS) search page is a web-based application used by physicists and production managers to find data from the CMS experiment. The main challenge in the design of the system was to map the complex, distributed data model embodied in the DBS and the Data Location Service (DLS) to a simple, intuitive interface consistent with the mental model of physicists analyz...

The Bitcoin ecosystem has suffered frequent thefts and losses affecting both businesses and individuals. The insider threat faced by a business is particularly serious. Due to the irreversibility, automation, and pseudonymity of transactions, Bitcoin currently lacks support for the sophisticated internal control systems deployed by modern businesses to deter fraud. We seek to bridge this gap. W...

With the advances in e-Sciences and the growing complexity of scientific analyses, more and more scientists and researchers are relying on workflow systems for process coordination, derivation automation, provenance tracking, and bookkeeping. While workflow systems have been in use for decades, it is unclear whether scientific workflows can or even should build on existing workflow technologies...

In this project we implemented general framework for mapping Brook stencils to KernelC code for 1D and 2D streams. Access pattern to stream elements described by Brook stencil is used as an input to a Perl script, which generates KernelC code. This code contains a kernel that reads stream elements, communicates them between clusters according to access pattern, and does all state bookkeeping. T...

GLD's eight deduction operations consist of six inference operations extension, unit subsumed extension, A-reduction, identical A-reduction, C-reduction, and identical C-reduction; and two bookkeeping operations A-truncation and C-truncation. The extension operations are, in combination, equivalent to the extension operations of other chain format systems. GLD's reduction operations combine fea...

Deductive Software Verification is characterized by three ingredients: first, target programs as well as the properties to be verified are represented as logical formulae that must be proven to be valid; second, validity is proven by deduction in a logic calculus; third, computer assistance is used for proof search and bookkeeping. In contrast to static analysis and model checking it is possibl...

Web archives are useful resources to find out about the temporal evolution of persons, organizations, products, or other topics. However, even when advanced text search functionality is available, gaining insights into the temporal evolution of a topic can be a tedious task and often requires sifting through many documents. The demonstrated system named INZEIT (pronounced “insight”) assists use...

The goals of this examination are (1) to break down the impact organization size on decision stock bookkeeping strategies, (2) dissect monetary influence inventory accounting methods (3) investigate benefit before charge (4) examine organization, and determination methods. This exploration is an experimental investigation led assembling organizations recorded Indonesian trade during 2015-2018 t...