This year’s installment of the PADS “community assessment” looks at previous assessments and considers some current directions in distributed simulation and their possible r...
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...
Kumari Wickramasinghe, Christian Guttmann, Michael...
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...