211 search results - page 6 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
EDOC
2002
IEEE
14 years 21 days ago
2002
IEEE
PRDC
2002
IEEE
14 years 19 days ago
2002
IEEE
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...