Sciweavers

293 search results - page 28 / 59
» date 2004
Sort
View
83
Voted
CORR
2010
Springer
153views Education» more  CORR 2010»
14 years 10 months ago
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
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...
VLDB
2004
ACM
94views Database» more  VLDB 2004»
15 years 3 months ago
Whither Data Mining?
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...
Rakesh Agrawal, Ramakrishnan Srikant
ECIS
2004
14 years 11 months ago
Risk Mitigation and Risk Absorption in IOS: A Proposed Investigative Study
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...
ECIS
2001
14 years 11 months ago
Internet Technology Diffusion: Adoption of IPV6
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 ...
Anat Hovav, Ravi Patnayakuni, David Schuff
ECIS
2001
14 years 11 months ago
Perspectives on IT Outsourcing Success: Covariance Structure Modelling of a Survey of Outsourcing in Australia
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...
Anne C. Rouse, Brian J. Corbitt, Benoit Aubert