Bonnie Anderson

Brigham Young University - School of Accountancy

Provo, UT 84602

United States

SCHOLARLY PAPERS

8

DOWNLOADS
Rank 48,345

SSRN RANKINGS

Top 48,345

in Total Papers Downloads

978

SSRN CITATIONS

0

CROSSREF CITATIONS

8

Scholarly Papers (8)

1.

Model Checking for E-Commerce Control and Assurance

IEEE Transactions on Systems, Man, and Cybernetics: Part C (IEEETSMCC), Vol. 35, No. 3, pp. 445-450, 2005
Number of pages: 7 Posted: 02 Aug 2005 Last Revised: 02 Aug 2014
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy, Virginia Polytechnic Institute & State University - Pamplin College of Business and Brigham Young University - School of Accountancy
Downloads 273 (125,032)

Abstract:

Loading...

e-business, model checking, atomicity, process and communication protocols, data typing

2.

Model Checking for Design and Assurance of E-Business Processes

Decision Support Systems (DSS), Vol. 39, No. 3, pp. 333-344, 2005
Number of pages: 29 Posted: 14 Feb 2005 Last Revised: 02 Aug 2014
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy, Virginia Polytechnic Institute & State University - Pamplin College of Business and Brigham Young University - School of Accountancy
Downloads 229 (149,112)

Abstract:

Loading...

e-Business, Model checking, Money atomicity, Goods atomicity, Valid receipt, Process and communication protocols

3.

The Value of Distrust in Computer-Based Decision-Making Groups

43rd Annual Hawaii International Conference on System Sciences, Hawaii, January 5-8, 2010
Number of pages: 12 Posted: 14 Oct 2009
Virginia Polytechnic Institute & State University - Pamplin College of Business, University of Arizona - Department of Management Information Systems, University of Nebraska at Omaha - Department of Information Systems and Quantitative Analysis, Brigham Young University - Department of Information Systems, Georgia State University - Department of Computer Information Systems, Brigham Young University - Department of Information Systems and Brigham Young University - School of Accountancy
Downloads 129 (245,378)

Abstract:

Loading...

distrust, decision-making, groups, teams, collaboration, trust, CMC

4.

The Application of Model Checking for Securing E-Commerce Transactions

Communications of the Association for Computing Machinery (CACM), Vol. 49, No. 6, pp. 97-101, 2006
Number of pages: 11 Posted: 26 Jan 2006 Last Revised: 25 Aug 2009
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy, Virginia Polytechnic Institute & State University - Pamplin College of Business and Brigham Young University - School of Accountancy
Downloads 129 (245,378)

Abstract:

Loading...

model checking, e-commerce, security, money atomicity, goods atomicity, validated receipt

5.

Standards and Verification for Fair-Exchange and Atomicity in E-Commerce Transactions

Information Sciences, Vol. 176, pp. 1045-1066, 2006
Number of pages: 28 Posted: 14 Feb 2005 Last Revised: 02 Aug 2014
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy, Virginia Polytechnic Institute & State University - Pamplin College of Business and Brigham Young University - School of Accountancy
Downloads 125 (251,290)

Abstract:

Loading...

e-Business, e-commerce, protocols, model checking, money atomicity, goods atomicity, valid receipt, standards enforcement

6.

Dependability Auditing with Model Checking

11th Annual Americas Conference on Information Systems, Omaha, August 11-14, pp. 3147-3156
Number of pages: 11 Posted: 26 Apr 2005 Last Revised: 06 Oct 2009
Bonnie Anderson, James V. Hansen and Paul Benjamin Lowry
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy and Virginia Polytechnic Institute & State University - Pamplin College of Business
Downloads 63 (385,639)

Abstract:

Loading...

Model checking, e-processes, web services, electronic contracting, dependability auditing

7.

Creating Automated Plans for Semantic Web Applications Through Planning as Model Checking

Expert Systems with Applications (ESWA), Vol. 47, No.1, 2009
Number of pages: 35 Posted: 24 Aug 2009
Bonnie Anderson, James V. Hansen and Paul Benjamin Lowry
Brigham Young University - School of Accountancy, Brigham Young University - School of Accountancy and Virginia Polytechnic Institute & State University - Pamplin College of Business
Downloads 22 (564,685)

Abstract:

Loading...

semantic web, model checking, formal methods, software engineering for Internet projects, artificial intelligence, agents, planning as model checking

8.

A Semantic Web Data Retrieval Implementation with an Adaptive Model for Supporting Agent Decision Structures

Electronic Commerce Research, Vol. 7, pp. 5-16, 2007
Number of pages: 25 Posted: 05 Jun 2009 Last Revised: 06 Nov 2014
Brigham Young University - School of Accountancy, Brigham Young University, Brigham Young University - School of Accountancy, Brigham Young University - Information Systems Department and Brigham Young University - School of Accountancy
Downloads 8 (660,355)

Abstract:

Loading...

adaptive learning, agents, ontology, semantic web