Until recently little research had been undertaken into the process of eCommerce implementation, especially in relation to the implementation of business-to-business (B2B) relatio...
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
Electronic Customer Relationship Management (eCRM) has become the latest paradigm in the world of Customer Relationship Management. Recent business surveys suggest that up to 50% ...
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
Adam Moore, James Goulding, Tim J. Brailsford, Hel...
It is recognized importance of team-based software engineering education in these days, and lots of case studies have been reported. This paper describes a comparative study on te...
In this paper we look at issues that arise when people collaboratively create digital content and want to publicly distribute it. Our focus is on the organizational and legal prob...
Risto Sarvas, Marko Turpeinen, Perttu Virtanen, He...
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
Dewayne E. Perry, Susan Elliott Sim, Steve M. East...