Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers...
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
Ranjit Randhawa, Clifford A. Shaffer, John J. Tyso...
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...