Sciweavers

1082 search results - page 137 / 217
» interactions 2000
Sort
View
COMCOM
2000
82views more  COMCOM 2000»
13 years 9 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
CONCURRENCY
2000
99views more  CONCURRENCY 2000»
13 years 9 months ago
The Java memory model is fatally flawed
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
William Pugh
DATAMINE
2000
113views more  DATAMINE 2000»
13 years 9 months ago
Informix under CONTROL: Online Query Processing
The goal of the CONTROL project at Berkeley is to develop systems for interactive analysis of large data sets. We focus on systems that provide users with iteratively refining answ...
Joseph M. Hellerstein, Ron Avnur, Vijayshankar Ram...
ETS
2000
IEEE
135views Hardware» more  ETS 2000»
13 years 9 months ago
Results of a telecollaborative activity involving geographically disparate preservice teachers
This article discusses a telecollaborative activity that combines many strategies of interest in teacher education (i.e., case-based learning, online discussion, cross-university ...
Kara M. Dawson, Cheryl L. Mason, Philip Molebash
ETS
2000
IEEE
73views Hardware» more  ETS 2000»
13 years 9 months ago
Peer Feedback in Synchronous Writing Environments: A Case Study in French
This paper reports on a case study which investigates the interaction patterns among participants in a synchronous writing environment on a Local Area Network (LAN). The focus is ...
Trude Heift, Catherine Caws