17 search results - page 4 / 4 » icfem 2010 |
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...