4350 search results - page 757 / 870 » Case studies for contract-based systems |
141
Voted
DOCENG
2005
ACM
15 years 5 months ago
2005
ACM
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...
134
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
137
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Knowledge elicitation is known to be a difficult task and thus a major bottleneck in building a knowledge base. Machine learning has long ago been proposed as a way to alleviate th...
153
Voted
ESTIMEDIA
2008
Springer
15 years 5 months ago
2008
Springer
The relentless increase in multimedia embedded system application requirements as well as improvements in IC design technology have motivated the deployment of chip multiprocessor ...
106
Voted
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...