Sciweavers

191 search results - page 10 / 39
» How to learn introductory programming over Web
Sort
View
NSDI
2008
15 years 13 days ago
Best Practices for the Care and Feeding of a Program Committee, and Other Thoughts on Conference Organization
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...
Fred Douglis
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
14 years 8 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
ML
2006
ACM
15 years 4 months ago
Ocsigen: typing web interaction with objective Caml
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
Vincent Balat
JSS
2006
111views more  JSS 2006»
14 years 10 months ago
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
Seng Wai Loke
JCHE
2007
81views more  JCHE 2007»
14 years 10 months ago
Supporting Self-Organized Learning with Personal WebPublishing Technologies and Practices
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
Priya Sharma, Sebastian Fiedler