The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
With the development of software requirements engineering multiple methods to write requirements specification have been proposed. TFM is a formal specification method proposed by Professor David Parnas and Marius Dragomiroiu, and it is more flexible then previous algebra and axiom methods. SMV is a model checking technique developed by Carnegie Mellon University. This paper proposes a method of verifying...
Weak self-defense ability of network security system would threaten the computer data security. This paper presents the design and implementation of a daemon which can enhance the self-defense ability of the network security system. Using plugin and config file, this daemon has good scalability and maintainability.
Normal myometrial tissues, hysteromyoma and endometrial carcinoma were determined by horizontal attenuated total reflectance Fourier transform infrared spectroscopy (HATR-FTIR) directly and fast. The results showed that there are obvious and regularity differences HATR-FTIR spectra of them in spectral parameters such as frequency, intensity and shape of the bands. They indicated significant differences...
It is vital for the success of a software project to construct a complete and concise requirement document in the early development phase. Tabular Expressions can be used to formally define software technical documents and achieve both conciseness and readability. SCR method is a practical document-driven requirement method which has gained widespread applications. Three special tables have been utilized...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.