1164 search results - page 106 / 233 » Using CBR for Semantic Analysis of Software Specifications |
110
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
130
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
158
Voted
EMNLP
2008
15 years 5 months ago
2008
We introduce the relative rank differential statistic which is a non-parametric approach to document and dialog analysis based on word frequency rank-statistics. We also present a...
155
Voted
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
139
Voted
PVM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...