1153 search results - page 17 / 231 » Compositional Specification Calculus for Information Systems... |
132
Voted
ICEBE
2005
IEEE
15 years 9 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
128
Voted
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
151
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
150
click to vote
VRST
2005
ACM
15 years 9 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
128
Voted
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...