Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these requirements call for expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a methodology to equip classes with expressive contracts supporting the accurate design, implementat...

Aiming at the problem of insufficient technology for detecting smart contract vulnerabilities and lack improvement certain detection tools, a method expansion internal module Mythril is proposed. Since not yet mature there are in contracts, vulnerability particularly important. tool covers most types vulnerabilities, its accuracy rate also highest. In order to ensure effect detection, this pape...

the right to terminate and dissolution of administrative contracts is used because of two reasons: misconducts of contractors and maintaining the requisite of public interests. in the first, the causes of it have been noted explicitly in the article of 46 of the general terms of contracts. but about the second, it is necessary to note that the article of 48 of the general terms of contracts giv...

Systematic, well-designed research provides the most effective approach to the solution of many problems facing highway administrators and engineers. Often, highway problems are of local interest and can best be studied by highway departments individually or in cooperation with their state universities and others. However, the accelerating growth of highway transportation develops increasingly ...

The capability to reallocate items|e.g. tasks, securities, bandwidth slices, Mega Watt hours of electricity, and collectibles|is a key feature in automated negotiation. Especially when agents have preferences over combinations of items, this is highly nontrivial. Marginal cost based reallocation leads to an anytime algorithm where every agent's payo increases monotonically over time. Di erent c...

Systematic, well-designed research provides the most effective approach to the solution of many problems facing highway administrators and engineers. Often, highway problems are of local interest and can best be studied by highway departments individually or in cooperation with their state universities and others. However, the accelerating growth of highway transportation develops increasingly ...

Over the last four decades, producers of durable goods recognized role services as a tool to increase their competitiveness and achieve long-term growth. Consequently, began integrate into products satisfy customers’ needs, process known servitization. Since its introduction in late 1980s, servitization received practical affirmations focused on diverse interdisciplinary research. Nevertheless,...