1057 search results - page 72 / 212 » Testing from Formal Specifications, a Generic Approach |
117
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...
111
click to vote
WSC
2004
15 years 4 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
121
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
128
Voted
ISMB
1997
15 years 4 months ago
1997
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
167
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...