2152 search results - page 381 / 431 » On Automating the Calculus of Relations |
87
Voted
ENTCS
2007
15 years 15 days ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
EOR
2007
15 years 14 days ago
2007
Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassemb...
134
click to vote
FAC
2007
15 years 14 days ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
111
click to vote
RE
2006
Springer
15 years 13 days ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...
TIT
2008
15 years 13 days ago
2008
Abstract--The ranking problem has become increasingly important in modern applications of statistical methods in automated decision making systems. In particular, we consider a for...