Component models such as EJB or CCM are increasingly used to create complex and distributed systems and applications. Unless the details of the API and mechanisms used for programming with these models differ, the general features provided by the models share many characteristics. In this paper, we propose to capture these features in a common layer that can be used to develop model independent...

Smart contracts are decentralized applications running on Blockchain. A very large number of smart has been deployed Ethereum. Meanwhile, security flaws have led to huge pecuniary losses and destroyed the ecological stability contract layer It is thus an emerging yet crucial issue effectively efficiently detect vulnerabilities in contracts. Existing detection methods like Oyente Securify mainly...

Electricity systems require a real-time balance between generation and demand for electricity. In the past, changing output of larger generators has been primary means achieving this balance, but more recently, smaller distributed energy resources (DERs) are becoming contributor. As electricity becomes intermittent due to uptake renewables, task balancing system is challenging. such, there will...

Computational requirements of full scale computational fluid dynamics change as computation progresses on a parallel machine. The change in computational intensity causes workload imbalance of processors, which in turn requires a large amount of data movement at runtime. If parallel CFD is to be successful on a parallel or massively parallel machine, balancing of the runtime load is indispensab...

assembly lines are special kinds of production systems which are of great importance in the industrial production of high quantity commodities. in many practical manufacturing systems, configuration of assembly lines is fixed and designing a new line may be incurred huge amount of costs and thereby it is not desirable for practitioners. when some changes related to market demand occur, it is wo...

In this study, a contract for vertical and horizontal coordination is developed in which transportation mode and carbon emissions tax play a key role in determining the values of the contract parameters. The contract is designed for simultaneous coordination of cooperative advertising and periodic review replenishment decisions of a supplier and two competitive retailers. To obtain the optimal ...

The article is devoted to the issue of recent changes in Polish Labor law regarding termination fixed-term employment contracts. After 2015 amendment, this another major change area. How has been normalized raised many doubts science labor for years. It requires taking into account and balancing several important issues: essence purpose contract law, equal treatment employees on indefinite cont...

The members of a chain always try to find new ways in order to raise their profit. Hence we intend to study two different scenarios in a single item two-echelon green supply chain including two manufacturers and one retailer to study the effects of two effective contracts on members’ profit. Two scenarios are discussed and in first one, first manufacturer proposes quantity discount contract to ...