Results 21 to 30 of about 504,509 (264)
A theory of software reusability [PDF]
, 1988 Software reusability is a topic of first practical importance. Most of the current approaches are based on empirical methods such as key words or descriptions in natural language. This paper suggests a criterion for software reusability which is theoretically founded.
Marie-Claude Gaudel, Th. Moineau
openaire +2 more sources
Spectral Clustering Algorithm Based on Fast Search of Natural Neighbors
IEEE Access, 2020 The spectral clustering is a typical and efficient clustering algorithm. However, the performance of spectral algorithm depends on the determination of the appropriate similarity matrix and the number of clusters.
Mengshi Yuan, Qingsheng Zhu
doaj +1 more source
An Implementation Model for Interaction Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipulate ...
Abubakar Hassan, Ian Mackie, Shinya Sato
doaj +1 more source
Present and Future of Network Security Monitoring
IEEE Access, 2021 Network Security Monitoring (NSM) is a popular term to refer to the detection of security incidents by monitoring the network events. An NSM system is central for the security of current networks, given the escalation in sophistication of cyberwarfare ...
Marta Fuentes-Garcia +2 more
doaj +1 more source
Enhancing the diversity of self-replicating structures using active self-adapting mechanisms
Frontiers in Genetics, 2022 Numerous varieties of life forms have filled the earth throughout evolution. Evolution consists of two processes: self-replication and interaction with the physical environment and other living things around it. Initiated by von Neumann et al.
Wenli Xu +7 more
doaj +1 more source
Approach to a Theory of Software Evolution
Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2006 Summary form only given. The paper briefly refers to a number of the, by now well known, results of the author's studies of software evolution since they provide a basis and framework for the development of a theory of the phenomenon. The author then summarises his most recent results outlining a proof that every E-type program reflects an unbounded ...
Meir M. Lehman, Juan F. Ramil
openaire +3 more sources
Deadlock Detection in FPGA Design: A Practical Approach
Tsinghua Science and Technology, 2015 Formal verification of VHSIC Hardware Description Language (VHDL) in Field-Programmable Gate Array (FPGA) design has been discussed for many years. In this paper we provide a practical approach to do so.
Dexi Wang +5 more
doaj +1 more source
IEEE Access, 2018 Cloud computing is becoming an increasingly popular platform for the execution of scientific applications such as scientific workflows. In contrast to grids and other traditional high-performance computing systems, clouds provide a customizable ...
Weiling Li +4 more
doaj +1 more source
Predictive-Trend-Aware Composition of Web Services With Time-Varying Quality-of-Service
IEEE Access, 2020 Service composition is a technology capable of combing a collection of existing services where many smaller services are coordinated together to form a larger one. Functionally similar services can often show different quality-of-service (QoS) properties.
Xiaoning Sun +3 more
doaj +1 more source
Research on Web Service Composition Matching Framework [PDF]
Jisuanji gongcheng, 2017 Existing service discovery methods only consider atomic service or service composition,which cannot meet the increasing demands of users.Aiming at this problem,this paper proposes a new Web service matching framework based on model transformation.In the ...
ZHOU Bo,ZENG Yi,CHEN Hengxin,LIU Huijun,YANG Yanning
doaj +1 more source