329 search results - page 27 / 66 » Towards a Theory of Actor Computation |
ICFP
2000
ACM
15 years 2 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
CDES
2006
14 years 11 months ago
2006
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we examine the relationship between emergent social network characteristics in a computer-supported collaborative learning course and locus of control. An emergent c...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...
105
click to vote
AIMSA
2010
Springer
14 years 11 months ago
2010
Springer
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...