Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...
Grid workflows can be seen as special scientific workflows involving high performance and/or high throughput computational tasks. Much work in grid workflows has focused on improvi...
Ilkay Altintas, Adam Birnbaum, Kim Baldridge, Wibk...
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...