A classification and survey of analysis strategies for software product lines
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 …
both in industry and in academia. A software product line is a family of software products that …
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
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 …
blockchain technology. Their self-enforcing and event-driven features make some online …
Advanced persistent threats (apt): evolution, anatomy, attribution and countermeasures
A Sharma, BB Gupta, AK Singh… - Journal of Ambient …, 2023 - Springer
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 …
develo** advanced cyber weapons. They have equipped with the most advanced …
Agri-IoT: A semantic framework for Internet of Things-enabled smart farming applications
A Kamilaris, F Gao… - 2016 IEEE 3rd World …, 2016 - ieeexplore.ieee.org
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 …
large number of sensor data streams using different large-scale IoT platforms. These IoT …
LTEInspector: A systematic approach for adversarial testing of 4G LTE
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 …
4G LTE protocol (ie, attach, detach, and paging), and in the process, uncover potential …
Temporal logics for hyperproperties
MR Clarkson, B Finkbeiner, M Koleini… - … 2014, Held as Part of the …, 2014 - Springer
Two new logics for verification of hyperproperties are proposed. Hyperproperties
characterize security policies, such as noninterference, as a property of sets of computation …
characterize security policies, such as noninterference, as a property of sets of computation …
[BUCH][B] Handbook of knowledge representation
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 …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Model-based testing using UML activity diagrams: A systematic map** study
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 …
for software modeling. UML models are often used to visualize, understand, and …
Weak, strong, and strong cyclic planning via symbolic model checking
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 …
the conceptual point of view, different notions of planning problems can be devised: for …
The SGI Origin: A ccNUMA highly scalable server
The SGI Origin 2000 is a cache-coherent non-uniform memory access (ccNUMA)
multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was …
multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was …