2351 search results - page 455 / 471 » A Method of Requirement Inconsistency Analysis |
KDD
2004
ACM
14 years 3 days ago
2004
ACM
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...
METRICS
2003
IEEE
14 years 7 hour ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
MTDT
2003
IEEE
14 years 7 hour ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
CCS
2003
ACM
13 years 12 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
EUROCRYPT
2003
Springer
13 years 12 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...