Compositional Design of Analog Systems Using Contracts by Xuening Sun Doctor of Philosophy in Electrical Engineeing and Computer Sciences University of California, Berkeley Professor Alberto Sangiovanni-Vincentelli, Chair This work addresses the problem of assembling analog integrated systems out of pre-designed IP components. Efficient system-level design is increasingly relying on hierarchica...

In the past decade, we have seen significant increase in the level of outsourcing in many industries. This increase in the level of outsourcing increases the importance of implementing effective contracts in supply chains. In this thesis, we study several issues in supply chain contracts. In the first part of the thesis, we study the impact of effort in a supply chain with multiple retailers. T...

By utilizing smart contracts, which are essentially scripts that anchored in a decentralized manner on blockchains or other similar infrastructures, it is possible to make the execution of predetermined procedures visible outside world. The programmability previously unrealized assets, such as money, and automation manual business logic both made by contracts. This revelation inspired us analyz...

<p style='text-indent:20px;'>The present article studies geometric step options in exponential Lévy markets. Our contribution is manifold and extends several aspects of the option pricing literature. First, we provide symmetry duality relations derive various characterizations for both European-type American-type double barrier options. In particular, are able to obtain a jump-diffusion d...

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilit...

We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic description models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect t...

today, banking is one of the most important sectors of the economy. banks with their economic and financial operations cause transfer of resources. resources are transferred from people who are not willing or able directly to participate in economic activities to those who need to capital for economic affairs and consequently causing economic growth for society. in islamic banking, circulation ...

In this paper, we investigate the effects of four determinants of vendor profitability in enterprise resource planning (ERP) outsourcing projects under two contractual regimes: fixed price (FP) contracts and time and material (TM) contracts. We hypothesize that effect sizes are larger under FP contracts than under TM contracts. From a transaction cost economics perspective, we hypothesize that ...