1177 search results - page 87 / 236 » A Theory of Role Composition |
273
click to vote
Book
"These notes were prepared for use in the graduate course Computer Science 15–
814: Type Systems for Programming Languages at Carnegie Mellon University.
Their purpose is ...
158
Voted
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
148
click to vote
ISIWI
2004
15 years 7 months ago
2004
The paper deals with the effects of information technology in organizations with a particular emphasis on the role of motivation of the organizational members. Giddens' Theor...
140
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Intuitionistic Fuzzy Sets Theory is based on a wrong nominalistic (terminological) assumption. It is defined as “intuitionistic” a negation which does not satisfy usual prope...
159
click to vote
ENTCS
2010
15 years 6 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...