Provo, UT 84602
United States
Brigham Young University - School of Accountancy
e-business, model checking, atomicity, process and communication protocols, data typing
e-Business, Model checking, Money atomicity, Goods atomicity, Valid receipt, Process and communication protocols
distrust, decision-making, groups, teams, collaboration, trust, CMC
model checking, e-commerce, security, money atomicity, goods atomicity, validated receipt
e-Business, e-commerce, protocols, model checking, money atomicity, goods atomicity, valid receipt, standards enforcement
Model checking, e-processes, web services, electronic contracting, dependability auditing
semantic web, model checking, formal methods, software engineering for Internet projects, artificial intelligence, agents, planning as model checking
adaptive learning, agents, ontology, semantic web
