In this paper, we document the evolution of a banner ad delivery system from a simple CGI script written in Perl running on a single host into a distributed computing application ...
This paper reports on some practical work undertaken to assess the use of a formalised configuration language to support industrial system development and evolution. The language a...
This paper traces the history of policy-based management and how it evolved from the first security models dating back to the late 1960’s until today’s more elaborate framewo...
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
This paper discusses an alternative application area for ambient information systems, coined as ‘persuasive visualization’. It investigates the recent evolution of ambient dis...