Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Implementation of smart contracts using hybrid architectures with on and off–blockchain components
Decentralised (on-blockchain) and centralised (off–blockchain) platforms are available for
the implementation of smart contracts. However, none of the two alternatives can individually …
the implementation of smart contracts. However, none of the two alternatives can individually …
Enforcing exception handling policies with a domain-specific language
Current software projects deal with exceptions in implementation and maintenance phases
without a clear definition of exception handling policies. We call an exception handling …
without a clear definition of exception handling policies. We call an exception handling …
Software architecture-based analysis and testing: a look into achievements and future challenges
The term software architecture (SA) has been introduced to denote the high level structure of
a software system. SA has been proposed as a means for managing complexity and …
a software system. SA has been proposed as a means for managing complexity and …
Integration testing for robotic systems
Conventional approaches for the validation of robotic systems include simulations and
functional software testing. Although these approaches are interesting, they do not offer …
functional software testing. Although these approaches are interesting, they do not offer …
Exception handlers for healing component-based systems
To design effective exception handlers, developers must predict at design time the
exceptional events that may occur at runtime, and must implement the corresponding …
exceptional events that may occur at runtime, and must implement the corresponding …
Achieving functional and non functional interoperability through synthesized connectors
Our everyday life is pervaded by the use of a number of heterogeneous systems that are
continuously and dynamically available in the networked environment to interoperate to …
continuously and dynamically available in the networked environment to interoperate to …
Towards a formal model to reason about context-aware exception handling
The context-awareness is a central aspect in the design of pervasive systems, characterizing
their ability to adapt its structure and behavior. The context-aware exception handling …
their ability to adapt its structure and behavior. The context-aware exception handling …
Model-driven engineering of reliable fault-tolerant systems—a state-of-the-art survey
To improve the reliability of a system, we can add fault-tolerance mechanisms. This,
however, leads to a rise of complexity that increases the probability of software faults being …
however, leads to a rise of complexity that increases the probability of software faults being …
[LIBRO][B] Advances in Computers
A Memon - 2012 - books.google.com
Since its first volume in 1960, Advances in Computers has presented detailed coverage of
innovations in computer hardware, software, theory, design, and applications. It has also …
innovations in computer hardware, software, theory, design, and applications. It has also …
Verifying architectural variabilities in software fault tolerance techniques
This paper considers the representation of different software fault tolerance techniques as a
product line architecture (PLA) for promoting the reuse of software artifact. The proposed …
product line architecture (PLA) for promoting the reuse of software artifact. The proposed …