351 search results - page 44 / 71 » Properties of Behavioural Model Merging |
143
click to vote
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
134
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
132
click to vote
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
143
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
150
click to vote
SIGSAND
2008
15 years 5 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...