The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, En...
The last decade has witnessed tremendous advances in data mining. We take a retrospective look at these developments, focusing on association rules discovery, and discuss the chal...
This study examines the risk consequences of participation in inter-organisational information systems (IOS). The research aims to identify the risk mitigation and risk absorption...
Martin Hughes, Philip Powell, Niki Panteli, Willia...
With the explosive growth of the Internet in the 1990s, the scalability of current technologies has become a significant issue. The current version of Internet Protocol version 4 ...
Australia has been at the forefront of the adoption of outsourcing as a means for delivering IT services, but the success of IT outsourcing in Australia has been mixed. With two h...