To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Creativity is a much needed quality in today's business and therefore an important research area. Whilst implementing and evaluating computer support for electronic brainstor...
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...