108 search results - page 22 / 22 » Similar Code Detection and Elimination for Erlang Programs |
JSS
2011
12 years 8 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
WABI
2009
Springer
13 years 12 months ago
2009
Springer
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...