In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in trad...
详细信息
Smart contracts have emerged as one of the most successful applications in the blockchain domain, playing a significant role in various blockchain ecosystems. Inspired by smart contracts, a multitude of cryptographic ...
详细信息
Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic al...
详细信息
With the rapid development of artificial intelligence, natural language processing, as an important branch, has also become a hot research field. A series of super large-scale pre-trained models represented by BERT an...
详细信息
Web services composition is a new software development paradigm, and it is a key point to achieve service-oriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calcul...
详细信息
In recent years, crowdsourced testing, which uses collective intelligence to solve complex softwaretesting tasks has gained widespread attention in academia and industry. However, due to a large number of workers par...
详细信息
There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to addr...
详细信息
UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduce...
详细信息
The COVID-19 pandemic has had a profound impact on human society. It has highlighted the need for faster diagnostic methods. Research has shown that combining semantic segmentation with traditional medical approaches ...
详细信息
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded *** are widely used to formally model embedded applications,but...
详细信息
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded *** are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and ***-Oriented software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life ***,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded ***,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic ***,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
暂无评论