4286 search results - page 296 / 858 » Formalizing Service Interactions |
228
click to vote
MMM
2005
Springer
16 years 4 days ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
160
click to vote
EPEW
2005
Springer
16 years 2 days ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
151
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
192
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
159
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...