211 search results - page 6 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
132
click to vote
COORDINATION
2006
Springer
15 years 7 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...
90
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
108
Voted
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
139
Voted
VLSID
2003
IEEE
16 years 3 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...
116
Voted
HICSS
2008
IEEE
15 years 9 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...