Sciweavers

1153 search results - page 17 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
132
Voted
ICEBE
2005
IEEE
165views Business» more  ICEBE 2005»
15 years 9 months ago
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
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...
Wei-Tek Tsai, Xinxin Liu, Yinong Chen
128
Voted
ISAS
2005
Springer
15 years 9 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
151
Voted
WWW
2005
ACM
16 years 4 months ago
A service creation environment based on end to end composition of Web services
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...
Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik,...
VRST
2005
ACM
15 years 9 months ago
Rapid scene modelling, registration and specification for mixed reality systems
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...
Russell M. Freeman, Anthony Steed, Bin Zhou
128
Voted
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 8 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...