Sciweavers

CORR
2004
Springer
177views Education» more  CORR 2004»
13 years 4 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
JVM
2004
184views Education» more  JVM 2004»
13 years 6 months ago
A Real-Time Garbage Collector for Embedded Applications in CLI
We are working on scheduling of garbage collector as a concurrent thread for time-constrained applications in Common Language Infrastructure (CLI). We have implemented an increment...
Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott R...
CATE
2004
248views Education» more  CATE 2004»
13 years 6 months ago
SIMSE: An Interactive Simulation Game for Software Engineering Education
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
Emily Oh Navarro, André van der Hoek
LEGE
2004
171views Education» more  LEGE 2004»
13 years 6 months ago
The Model of Collaborative Learning GRID to activate interactivity for Knowledge Building
The purpose of this study is to support the learning activity in the Internet learning space. In this paper, we examine the GRID technology as the knowledge management for support...
Toshio Okamoto, Mizue Kayama
TNC
2004
152views Education» more  TNC 2004»
13 years 6 months ago
Academic Streaming in Europe: Report on TF-Netcast
Alessandro Falaschi, Dan Monster, Ivan Dolezal, Mi...
Education
Top of PageReset Settings