1675 search results - page 50 / 335 » Compositional Model-Based Design |
INFOSCALE
2007
ACM
13 years 11 months ago
2007
ACM
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
TVLSI
2008
13 years 9 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
ICWS
2010
IEEE
13 years 7 months ago
2010
IEEE
A service-oriented application is composed of multiple web services to fulfill complex functionality that cannot be provided by individual web service. The combination of services ...
CBSE
2007
Springer
14 years 4 months ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...