Sciweavers

5343 search results - page 121 / 1069
» Keyword programming in java
Sort
View
SIGPLAN
1998
13 years 10 months ago
Unloading Java Classes That Contain Static Fields
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...
Charles E. McDowell, Elizabeth A. Baldwin
ECOOP
2000
Springer
14 years 2 months ago
Runtime Support for Type-Safe Dynamic Java Classes
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. ...
CASSIS
2004
Springer
14 years 2 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
ASE
2005
140views more  ASE 2005»
13 years 10 months ago
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
A primary goal of program performance understanding tools is to focus the user's attention directly on optimization opportunities where significant cost savings may be found....
Robert J. Hall
COMPSAC
2005
IEEE
14 years 4 months ago
Agent Oriented Programming Based on SLABS
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
Ji Wang, Rui Shen, Hong Zhu