Sciweavers

4940 search results - page 344 / 988
» On the Complexity of Universal Programs
Sort
View
SAC
2008
ACM
15 years 6 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...
SIGCSE
2009
ACM
102views Education» more  SIGCSE 2009»
16 years 7 months ago
Preparation of high school computer science teachers: the Israeli perspective
This special session examines frameworks for the preparation of high school computer science (CS) teachers from the Israeli perspective. Specifically, several Israeli CS teacher p...
Judith Gal-Ezer, Orit Hazzan, Noa Ragonis
SIGCSE
2009
ACM
212views Education» more  SIGCSE 2009»
16 years 7 months ago
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science
This paper describes the implementation and evaluation of a program that uses active recruiting and peer-led team learning to try to increase the participation and success of wome...
Susan Horwitz, Susan H. Rodger, Maureen Biggers, D...
POPL
2004
ACM
16 years 7 months ago
Asynchronous and deterministic objects
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
ACMSE
2005
ACM
16 years 8 days ago
First year experiences of NSF REU grant: emerging issues in computer networking
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
Stan Kurkovsky, Bhagyavati