Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Accounting
Model Checking For E-Business Control And Assurance, Bonnie B. Anderson, James V. Hansen, Paul B. Lowry, Scott L. Summers
Model Checking For E-Business Control And Assurance, Bonnie B. Anderson, James V. Hansen, Paul B. Lowry, Scott L. Summers
Faculty Publications
Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conducting e-business extends the reach of many organizations, well-designed software becomes the foundation of reliable implementation of e-business processes. These distributed, electronic methods of conducting transactions place reliance on the control structures embedded in the transaction processes. Deficiencies in control structures of processes that support e-business can lead to loss of physical assets, digital assets, money, and consumer confidence. Yet, assessing the reliability of e-business processes is complex and time-consuming. This paper explicates how model-checking technology can aid in the …
Mass Mailings Made Simple, Bonnie B. Anderson, Larysa V. Oprya, Marshall B. Romney
Mass Mailings Made Simple, Bonnie B. Anderson, Larysa V. Oprya, Marshall B. Romney
Faculty Publications
You want to tell 130 clients about several new professional services and send them updated fee schedules. You considered outsourcing the project to a direct-mail ad agency and found the setup alone for each variation of the letter was $65—way over your budget. Worry not. This is a job your support staff should be able to handle after reading this article.