Sciweavers

1173 search results - page 104 / 235
» On the Compositionality of Round Abstraction
Sort
View
102
Voted
ENTCS
2006
148views more  ENTCS 2006»
15 years 23 days 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 ...
97
Voted
ENTCS
2002
101views more  ENTCS 2002»
15 years 17 days 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
87
Voted
EMSOFT
2006
Springer
15 years 4 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 ...
84
Voted
IANDC
2007
84views more  IANDC 2007»
15 years 21 days 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 ...
105
Voted
MICCAI
2003
Springer
16 years 1 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