3971 search results - page 7 / 795 » On the Use of Properties in Java Applications |
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
ICDCS
1998
IEEE
13 years 12 months ago
1998
IEEE
As Java is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Ja...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
ACSC
2002
IEEE
14 years 21 days ago
2002
IEEE
The majority of the world’s computing resources remains idle most of the time. By using this resource pool, an individual computation may be completed in a fraction of time requ...
CARDIS
2004
Springer
14 years 1 months ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...