software reliability estimation for systems operating in the field has been extensively discussed in the literature and several models have been developed. However, this approach of reliability estimation is a reactiv...
详细信息
Withthe continuous development of electrification and intelligence in ships, the importance of the ship power system in maritime safety has become increasingly prominent. To enhance the safety performance of the ship...
详细信息
作者：
Turski, W.M.Imperial Coll
Dep of Computing London Engl Imperial Coll Dep of Computing London Engl
Logic - a calculus of formal systems - plays an important role in software development from specification to implementation. It also can play a minor role in validation of specifications, insofar as the validation may...
详细信息
ISBN:
(纸本)0818606207
Logic - a calculus of formal systems - plays an important role in software development from specification to implementation. It also can play a minor role in validation of specifications, insofar as the validation may be seen to include derivation of consequences. that logic plays no discernible role in descriptive theory formation - an act always serendipitous and contingent on invention - should not worry us too much, as long as we do not wish to claim the possession of the philosopher's stone.
the Automatic Writing Machine is a device used to automate the process of writing by eliminating the necessity of human aid for a physically challenged person. the proposed work aims to design a user-friendly automate...
详细信息
Withthe wide application of embedded devices, the security problems caused by malware intrusion into embedded systems are increasing. Existing malware detection models are difficult to be deployed to a wide variety o...
详细信息
Execution trace analysis is particularly valuable in the context of object-oriented software comprehension for the maintenance tasks. It involves analyzing dynamic information and behaviors that are stored in the exec...
详细信息
Gesture recognition is an important way of human-computer interaction, improving gesture recognition rate is of great significance for human-computer interaction applications. To solve the problems of few categories a...
详细信息
Blind people are incapable of seeing, which is crucial for daily life. Blind people have limited autonomy due to their lack of eyesight. there are many methods for helping blind people navigate that are based on RFID,...
详细信息
We attempt to compare the source code of two Java IDE systems: Netbeans and Eclipse. the result of this experiment shows that many factors, if ignored, could risk a bias in the results, and we posit various observatio...
详细信息
NLP is a computer-based software technology that used primarily to translate the natural human language into machine understandable format efficiently. the inputs for the machine could be text, audio, video, image, an...
详细信息
暂无评论