7 search results - page 2 / 2 » Design of Erroneous Examples for ACTIVEMATH |
WWW
2008
ACM
16 years 6 days ago
2008
ACM
This paper provides initial analysis in identifying possible Web services composition using context-based semantic matching. Context-based semantic matching allows service composi...
126
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...