5343 search results - page 143 / 1069 » Keyword programming in java |
WEBNET
1998
13 years 11 months ago
1998
: The Java Music Toolkit is a set of Java classes that can display and play musical scores. The classes are used in music courseware in which students hear problem sets and notate ...
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
NOMS
2000
IEEE
14 years 2 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...