4166 search results - page 148 / 834 » Automating the constraining process |
144
click to vote
ICECCS
2000
IEEE
15 years 10 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...
174
click to vote
LCN
1999
IEEE
15 years 10 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...
159
click to vote
KBSE
1998
IEEE
15 years 10 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...
165
click to vote
DEXAW
2004
IEEE
15 years 10 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...
172
click to vote
COORDINATION
2006
Springer
15 years 10 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...