2860 search results - page 218 / 572 » The Greenfoot Programming Environment |
260
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
211
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
269
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
202
click to vote
JCHE
2010
15 years 1 months ago
2010
This paper presents a pre-orientation program for incoming college students, Active Citizenship through Technology (ACT), that engaged students in civic dialogue early in their aca...
153
click to vote
FPL
1998
Springer
15 years 11 months ago
1998
Springer
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...