5205 search results - page 91 / 1041 » Tilings and model theory |
ECOOP
2003
Springer
14 years 2 months ago
2003
Springer
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...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
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. ...
ECIS
2003
13 years 10 months ago
2003
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...
IJCAI
1993
13 years 10 months ago
1993
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...
AAI
2006
13 years 9 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...