293 search results - page 28 / 59 » date 2004 |
CORR
2010
Springer
15 years 2 days ago
2010
Springer
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 ...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
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...
ECIS
2004
15 years 1 months ago
2004
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...
ECIS
2001
15 years 1 months ago
2001
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 ...
ECIS
2001
15 years 1 months ago
2001
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...