1227 search results - page 36 / 246 » Using Generation for Grammar Analysis and Error Detection |
KBSE
1998
IEEE
15 years 2 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
108
click to vote
ISSRE
2008
IEEE
15 years 4 months ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
EUROGP
2009
Springer
15 years 2 months ago
2009
Springer
Physics-based animal animations require data for realistic motion. This data is expensive to acquire through motion capture and inaccurate when estimated by an artist. Grammatical ...
ITC
1999
IEEE
15 years 2 months ago
1999
IEEE
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. The power supply transient signals of an ...
ATS
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...