4286 search results - page 34 / 858 » Formalizing Service Interactions |
FM
1997
Springer
14 years 19 days ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
ASWEC
2007
IEEE
14 years 2 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...
ICSOC
2005
Springer
14 years 2 months ago
2005
Springer
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
