19 papers:
ITiCSE-2010-IlbeyiN #named #visualisation- VCache: visualization applet for processor caches (BI, JAN), p. 304.
- ITiCSE-2008-EscribanoGST #java
- Digital topology java applet (CE, AG, MAS, MT), p. 329.
SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance- A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
- SEFM-2006-MarcheR #behaviour #java #transaction #verification
- Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
ICSM-2005-TilevichSH #java #legacy #named #web- Appletizing: Running Legacy Java Code Remotely from a Web Browser (ET, YS, MH), pp. 91–100.
FASE-2004-HuismanGSC #case study #interactive- Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.
CIAA-2003-PrestonK #automaton #named #visualisation- AVA: An Applet for Visualizing FRACTRAN and Other Automata (NP, MSK), pp. 297–298.
FME-2003-BurdyRL #approach #correctness #developer #java- Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.
DAC-2002-WirthlinM #using- IP delivery for FPGAs using Applets and JHDL (MJW, BM), pp. 2–7.
- FASE-2002-BartheGH #composition #interactive #verification
- Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.
ICEIS-v1-2001-Maamar- Moving Code (Servlet Strategy) vs. Inviting Code (Applet Strategy) (ZM), pp. 295–303.
WCRE-1999-KornCK #java #named #reverse engineering- Chava: Reverse Engineering and Tracking of Java Applets (JLK, YFC, EK), pp. 314–325.
- ICEIS-1999-Ribiero #query
- An Applet Based Query Tool (NVR), pp. 706–710.
HT-1998-Bouvin #case study #design #experience #hypermedia- Designing Open Hypermedia Applets: Experiences and Prospects (NOB), pp. 281–282.
POPL-1998-LeroyR #security- Security Properties of Typed Applets (XL, FR), pp. 391–403.
SAC-1998-CiancariniR #coordination #distributed #java- Coordinating distributed applets with Shade/Java (PC, DR), pp. 130–138.
HCI-SEC-1997-StelovskyC #interactive #java #visualisation- A WWW Environment for Visualizing User Interactions with Java Applets (JS, MEC), pp. 755–758.
TOOLS-PACIFIC-1997-LakosL #java #specification #using- Animating Formal Specifications Using Java Applets (CL, GL), pp. 196–209.
CSCW-1996-LeePJW #multi- Supporting Multi-User, Multi-Applet Workspaces in CBE (JHL, AP, TJ, GW), pp. 344–353.
