Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

In today's cyber warfare realm, every stakeholder in cyberspace is becoming more potent by
develo** advanced cyber weapons. They have equipped with the most advanced …

With the recent advancement of the Internet of Things (IoT), it is now possible to process a
large number of sensor data streams using different large-scale IoT platforms. These IoT …

In this paper, we investigate the security and privacy of the three critical procedures of the
4G LTE protocol (ie, attach, detach, and paging), and in the process, uncover potential …

Two new logics for verification of hyperproperties are proposed. Hyperproperties
characterize security policies, such as noninterference, as a property of sets of computation …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Abstract Context: The Unified Modeling Language (UML) has become the de facto standard
for software modeling. UML models are often used to visualize, understand, and …

Planning in nondeterministic domains yields both conceptual and practical difficulties. From
the conceptual point of view, different notions of planning problems can be devised: for …

Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …