Sciweavers

1932 search results - page 86 / 387
» Molecule-oriented programming in Java
Sort
View
SCCC
1998
IEEE
15 years 4 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...
JAVACARD
2000
15 years 4 months ago
Formal Specification and Verification of JavaCard's Application Identifier Class
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
Joachim van den Berg, Bart Jacobs, Erik Poll
VEE
2009
ACM
246views Virtualization» more  VEE 2009»
15 years 7 months ago
Tracing for web 3.0: trace compilation for the next generation web applications
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
Mason Chang, Edwin W. Smith, Rick Reitmaier, Micha...
111
Voted
FECS
2006
159views Education» more  FECS 2006»
15 years 1 months ago
Why and How to Teach Game Programming
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
Chong-wei Xu
SIGCSE
2004
ACM
94views Education» more  SIGCSE 2004»
15 years 6 months ago
Taming a professional IDE for the classroom
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
Charles Reis, Robert Cartwright