Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. Th...
Giancarlo Succi, Raymond Wong, Eric Liu, Michael R...