We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
The model presented in this paper incorporates various causal and feedback loops in the structure of the dynamic decision-making processes and performance in nonequity alliances. ...
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
Moez Limayem, Sabine Gabriele Hirt, Christy M. K. ...
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...