305 search results - page 13 / 61 » Set Algebra for Service Behavior: Applications and Construct... |
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...
APSEC
2007
IEEE
14 years 23 days ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Service-oriented computing promotes the construction of applications by composing distributed services that are advertised in an open service market. In such an environme...
DEXAW
2006
IEEE
14 years 2 months ago
2006
IEEE
As the power of mobile devices continues to grow, and the range of resources accessible via wireless networks expands, there is an increasing need to offer services to users in a ...