Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
The development of software systems from already built COTS components has been motivated by the prospect of reduced cost and development time. However, developing COTS-based syst...
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
The paper is devoted to finding a view on business processes that helps to introduce into business process support systems a notion of shared spaces widely used in social software....