1190 search results - page 21 / 238 » A type and effect system for atomicity |
ICALT
2008
IEEE
14 years 1 months ago
2008
IEEE
The aim of this study is to understand how learners with different personality respond to an e-learning content structure, by which it will help to build an instance of personalit...
CHI
2009
ACM
14 years 7 months ago
2009
ACM
Kazuhiro Terajima The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 Japan Kazuhiro_Terajima@ipc.i.u-tokyo.ac.jp Takashi Komuro The University of Tokyo 7-3-1 Hongo, Bu...
FORTE
2008
13 years 8 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
APLAS
2007
ACM
13 years 10 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...