4166 search results - page 148 / 834 » Automating the constraining process |
70
Voted
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
97
Voted
LCN
1999
IEEE
15 years 2 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
83
Voted
KBSE
1998
IEEE
15 years 2 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
DEXAW
2004
IEEE
15 years 2 months ago
2004
IEEE
We have developed an automated Japanese essay scoring system named jess. The system evaluates an essay from three features: (1) Rhetoric -- ease of reading, diversity of vocabular...
86
Voted
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...