Sciweavers

1173 search results - page 104 / 235
» On the Compositionality of Round Abstraction
Sort
View
ENTCS
2006
148views more  ENTCS 2006»
15 years 6 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
ENTCS
2002
101views more  ENTCS 2002»
15 years 6 months ago
Towards Automatic Mediation between Heterogeneous Software Components
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
Klaus-Peter Löhr
EMSOFT
2006
Springer
15 years 10 months ago
Incremental schedulability analysis of hierarchical real-time components
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup ...
IANDC
2007
84views more  IANDC 2007»
15 years 6 months ago
The perfectly synchronized round-based model of distributed computing
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
MICCAI
2003
Springer
16 years 7 months ago
Tensor Splats: Visualising Tensor Fields by Texture Mapped Volume Rendering
Abstract. We describe a new method for visualising tensor fields using a textured mapped volume rendering approach, tensor-splatting. We use an image order method to calculate the ...
Abhir Bhalerao, Carl-Fredrik Westin