1173 search results - page 54 / 235 » On the Compositionality of Round Abstraction |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
EUROPAR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
DAIS
2003
13 years 11 months ago
2003
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
VSTTE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
GI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract: Preference elicitation is often used in e-services to create product recommendations for their customers. We present an approach for applying preference elicitation techn...