10406 search results - page 301 / 2082 » Using RDF to Model the Structure and Process of Systems |
140
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
145
click to vote
MSR
2009
ACM
15 years 11 months ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...
121
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a serving system consisting intelligent agents processing society information in a multi-user domain. The agents use the similarity information on the us...
171
click to vote
WACC
1999
ACM
15 years 8 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
182
click to vote
ICCBSS
2005
Springer
15 years 10 months ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...