Sciweavers

2060 search results - page 120 / 412
» The Composition of Event-B Models
Sort
View
USITS
2001
15 years 5 months ago
Partial Prefetch for Faster Surfing in Composite Hypermedia
In this paper we present a prefetch technique, which incorporates a scheme similar to data streaming to minimize the response-lag. Unlike previous all or none techniques, we propo...
Javed I. Khan, Qingping Tao
JSW
2007
134views more  JSW 2007»
15 years 4 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
WWW
2009
ACM
16 years 5 months ago
Automatic web service composition with abstraction and refinement
ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
WWW
2005
ACM
16 years 5 months ago
Advanced fault analysis in web service composition
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
Anna Goy, Claudia Picardi, Daniele Theseider Dupr&...
ICIW
2009
IEEE
15 years 11 months ago
Dynamic Composition of Service-Oriented Web User Interfaces
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
Stefan Pietschmann, Martin Voigt, Klaus Meiß...