Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conduct business (e-business) extends the reach of many businesses, well-designed software becomes the foundation of reliable implementation of e-business processes. These...

Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and...

Purpose: The physical internet (PI) is an emerging logistics and supply chain management (SCM) concept that draws on different technologies and areas of research, such as the Internet of Things (IoT) and key performance indicators, with the purpose of revolutionizing existing logistics and SCM...

Purpose The purpose of this paper is to better understand how interorganizational relationships influence information and communications technology (ICT)-enabled supply chain (SC) interactions of small- and medium-sized enterprises (SMEs) in developed versus developing economies through the...

This manuscript examines the unintended consequences that organizational computer monitoring can foster within the firm. We apply justice and reactance theories to explain why monitoring can actually increase the occurrence of detrimental organizational behaviors. Our model suggests monitoring...