Search results for "Applets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Hisashi Kojima, Ikuya Morikawa, Yuko Nakayama, Yuji Yamaoka	Cozilet: Transparent Encapsulation to Prevent Abuse of Trusted Applets.	ACSAC	2004	DBLP DOI BibTeX RDF
82	Christoph Sprenger 0001, Dilian Gurov, Marieke Huisman	Compositional verification for secure loading of smart card applets.	MEMOCODE	2004	DBLP DOI BibTeX RDF
75	Jatin N. Hansoty, Mladen A. Vouk, Shyhtsun Felix Wu	LAVA: Secure Delegation of Mobile Applets: Design, Implementation, and Applications.	WETICE	1997	DBLP DOI BibTeX RDF	LAVA, secure delegation, mobile applets, distributed computing paradigm, network-based applications, web-based mobile applets, SNMP network management, design, electronic commerce, intelligent agent, implementation, active networking, system management, computer network management, security threats, prototype implementation
70	Michael J. Wirthlin, Brian McMurtrey	Web-based IP evaluation and distribution using applets.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
70	Michael J. Wirthlin, Brian McMurtrey	IP delivery for FPGAs using Applets and JHDL.	DAC	2002	DBLP DOI BibTeX RDF	JHDL, FPGA, intellectual property, applet
70	Z. Yuan, C. R. Wie	Educational Java Applets for Visualizing MOS Memory.	MSE	2001	DBLP DOI BibTeX RDF
58	Jesse M. Heines	Enabling XML storage from Java applets in a GUI programming course.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
58	Christian Icking, Rolf Klein, Peter Köllner, Lihong Ma 0001	Java Applets for the Dynamic Visualization of Voronoi Diagrams.	Computer Science in Perspective	2003	DBLP DOI BibTeX RDF
58	Tzi-cker Chiueh, Harish Sankaran, Anindya Neogi	Spout: A Transparent Distributed Execution Engine for Java Applets.	ICDCS	2000	DBLP DOI BibTeX RDF
58	Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon	Checking Secure Interactions of Smart Card Applets.	ESORICS	2000	DBLP DOI BibTeX RDF
58	Jeffrey L. Korn, Yih-Farn Chen, Eleftherios Koutsofios	Chava: Reverse Engineering and Tracking of Java Applets.	WCRE	1999	DBLP DOI BibTeX RDF
58	Pietro Iglio, Fausto Fraticelli, Luigi Giuri	Rule-Based Filtering for Java Applets.	ACSAC	1998	DBLP DOI BibTeX RDF
56	Mark A. Holliday	Animation of computer networking concepts.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution
55	Charles Lakos, Glenn Lewis	Animating Formal Specifications Using Java Applets.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	formal specifications, animation, Java applets, Object Petri Nets
53	Marvin Schaefer, Sylvan Pinsky, Drew Dean, Li Gong, Jim Roskind, Barbara Fox	Ensuring Assurance in Mobile Computing.	S&P	1997	DBLP DOI BibTeX RDF	mobile computing assurance, mobile code applications, malicious applets, rogue applets, JavaSoft, vendors, Java, research, data security, software portability, software portability
48	Eric Roberts	Resurrecting the applet paradigm.	SIGCSE	2007	DBLP DOI BibTeX RDF	Java, applet, teaching resources
48	Marieke Huisman, Dilian Gurov, Christoph Sprenger 0001, Gennady Chugunov	Checking Absence of Illicit Applet Interactions: A Case Study.	FASE	2004	DBLP DOI BibTeX RDF
46	Mohammad Shirali-Shahreza	Java Applets Copy Protection by Steganography.	IIH-MSP	2006	DBLP DOI BibTeX RDF
46	Dahlia Malkhi, Michael K. Reiter	Secure Execution of Java Applets Using a Remote Playground.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	security, Java, mobile code, remote method invocation
46	Neng-Fa Zhou	Building Java Applets by Using DJ - A Java-based Constraint Language.	COMPSAC	1999	DBLP DOI BibTeX RDF	DJ, Java, Prolog, Layout, Constraint programming, Applet
46	Cora Burger, Kurt Rothermel, Rolf Mecklenburg	Interactive Protocol Simulation Applets for Distance Education.	IDMS	1998	DBLP DOI BibTeX RDF
46	Andrew Yang, James Linn, David Quadrato	Developing integrated Web and database applications using JAVA applets and JDBC drivers.	SIGCSE	1998	DBLP DOI BibTeX RDF	Java
46	Gordon J. Brebner	Circlets: Circuits as Applets.	FCCM	1998	DBLP DOI BibTeX RDF
43	Claude Marché, Nicolas Rousset	Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.	SEFM	2006	DBLP DOI BibTeX RDF	JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
36	George Fairbanks, David Garlan, William L. Scherlis	Design fragments make using frameworks easier.	OOPSLA	2006	DBLP DOI BibTeX RDF	design fragments, object-oriented programming, frameworks, patterns
36	Jang Ho Lee	A Framework for Building Flexible Internet-Based Collaboration Environment.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
36	Glenn A. Akers	LogoMedia TRANSLATETM, Version 2.0.	AMTA	2002	DBLP DOI BibTeX RDF
36	John A. Nestor	Web-Based Visualization Tools for Teaching VLSI CAD Algorithms.	MSE	2001	DBLP DOI BibTeX RDF
36	Dimitrios Theotokis, Georgios Gyftodimos, Panagiotis Georgiadis 0001, George Philokyprou	VIBDaST: a virtual interactive book as a data structures teaching aid.	ITiCSE	1997	DBLP DOI BibTeX RDF	World Wide Web (WWW)
36	S. Tucker Taft	Programming the Internet in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
34	Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis	Static Program Analysis for Java Card Applets.	CARDIS	2008	DBLP DOI BibTeX RDF	temporal safety, Java Card, static program analysis
34	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
34	Dennis Vermoen, Marc F. Witteman, Georgi Gaydadjiev	Reverse Engineering Java Card Applets Using Power Analysis.	WISTP	2007	DBLP DOI BibTeX RDF
34	Alessandro Coglio, Cordell Green	A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.	VSTTE	2005	DBLP DOI BibTeX RDF
34	Motoki Miura, Jiro Tanaka	An Animated Demonstration Authoring System for Java Applets.	VL	1999	DBLP DOI BibTeX RDF	World Wide Web, Programming by Demonstration, Java applet
34	Dahlia Malkhi, Michael K. Reiter, Aviel D. Rubin	Secure Execution of Java Applets using a Remote Playground.	S&P	1998	DBLP DOI BibTeX RDF
34	K. Lakshman, Madan Manoharan, Raj Yavatkar	Adding realtime applets and quality of service support to the world wide web.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
32	Timothy J. Hickey	Scheme-based web programming as a basis for a CS0 curriculum.	SIGCSE	2004	DBLP DOI BibTeX RDF	pedagogy, curriculum, HTML, scheme, CSS, non-majors, applets, servlets
32	Wolfgang Schreiner	A java toolkit for teaching distributed algorithms.	ITiCSE	2002	DBLP DOI BibTeX RDF	Java, visualization, distributed computing, message passing, assertions, applets
32	Natalia V. Andrienko, Gennady L. Andrienko, Peter Gatalsky	Visualization of Spatio-Temporal Information in the Internet.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	spatio-temporal information visualization, interactive dynamic maps, spatio-temporal data analysis, spatially referenced time series data, theoretical background, analytical tasks, spatial phenomenon, presentation techniques, interactive map manipulation tools, Internet, Internet, spatial information, Java applets, statistical data
32	Alexandre Donizeti Alves, Maria Cristina Ferreira de Oliveira, Rosane Minghim, Luis Gustavo Nonato	Interactive Visualization over the WWW.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	visualization solutions, high quality visualization resources, WWW, data visualisation, interactive visualization, Web based applications, Java applets, user data, Visualization Toolkit
32	Daniel L. Gould, Rosemary Michelle Simpson, Andries van Dam	Granularity in the design of interactive illustrations.	SIGCSE	1999	DBLP DOI BibTeX RDF	interactive illustration, user interface, reuse, hypertext, granularity, educational software, applets
32	John Potter, Ryan Shelswell, Ian Joyner	Library Interoperability via Inheritance.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Library interoperability, Java, inheritance, Eiffel, applets, language translation
32	Premkumar T. Devanbu, Stuart G. Stubblebine	Research Directions for Automated Software Verification: Using Trusted Hardware.	ASE	1997	DBLP DOI BibTeX RDF	automated software verification, trusted hardware, content providers, hosted software, networked software, hosting computer, physically secure computing device, embedded certified private key, executable binary, trusted signature, scientific goals, engineering goals, testing, software agents, program verification, browsers, version control, servers, service providers, applets, checks
24	Andreas Henrich, Stefanie Sieber	Blended learning and pure e-learning concepts for information retrieval: experiences and future directions.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Teaching information retrieval, Interaction, e-Learning, Blended learning
24	Timothy Daryl Stanley	Using digital logic simulation as a teaching aid in discrete mathematics, hardware and operating systems, networking, computer organization and computer architecture: a workshop outline.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	visualization, learning environment, logic simulation
24	Gilles Barthe, Guillaume Dufay	Formal Methods for Smartcard Security.	FOSAD	2005	DBLP DOI BibTeX RDF
24	Eli Tilevich, Yannis Smaragdakis, Marcus Handte	Appletizing: Running Legacy Java Code Remotely from a Web Browser.	ICSM	2005	DBLP DOI BibTeX RDF
24	Frantisek Brabec, Hanan Samet, Cemal Yilmaz	VASCO: visualizing and animating spatial constructs and operations.	SCG	2003	DBLP DOI BibTeX RDF	visualization, quadtrees, R-trees, k-d trees, nearest neighbor algorithms
24	Roland N. Ibbett	WWW visualisation of computer architecture simulations.	ITiCSE	2002	DBLP DOI BibTeX RDF
24	Nils Maltesson, David Naccache, Elena Trichina, Christophe Tymen	Applet Verification Strategiesfor RAM-Constrained Devices.	ICISC	2002	DBLP DOI BibTeX RDF
24	Raúl Rojas 0001, Lars Knipping, Ulrich Raffel, Gerald Friedland	Elektronische Kreide: Eine Java-Multimedia-Tafel fuer den Präsenz- und Fernunterricht.	Inform. Forsch. Entwickl.	2001	DBLP DOI BibTeX RDF	Präsenzunterricht, Fernunterricht, rechnerunterstützte Lehre, Handschrifterkennung, Java, Internet, World Wide Web, Multimedia, Streaming, Synchronisation, Whiteboard
24	Pierluigi Crescenzi, Gaia Innocenti	Towards a Taxonomy of Network Protocol Visualization Tools.	Software Visualization	2001	DBLP DOI BibTeX RDF
24	Xavier Leroy	On-Card Bytecode Verification for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
24	Herman Chung-Hwa Rao, Di-Fa Chang, Yih-Farn Chen, Ming-Feng Chen	iMobile: a proxy-based platform for mobile services.	Wireless Mobile Internet	2001	DBLP DOI BibTeX RDF	CDPD, POP3, telnet, mobile computing, wireless, TCP/IP, instant messaging, TDMA, SMS, proxy, home network, WAP, GSM, X10, IMAP
24	Abdulmotaleb El-Saddik, Shervin Shirmohammadi, Nicolas D. Georganas, Ralf Steinmetz	JASMINE: Java Application Sharing in Multiuser INteractive Environments.	IDMS	2000	DBLP DOI BibTeX RDF
24	Amruth Kumar 0001	Dynamically generating problems on static scope.	ITiCSE	2000	DBLP DOI BibTeX RDF
24	Rajeev Goré, Lan Duy Nguyen	CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF	security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics
24	Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon	The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
24	Sita Ramakrishnan	LIGHTVIEWS - visual interactive Internet environment for learning OO software testing.	ICSE	2000	DBLP DOI BibTeX RDF	OO software testing, Internet, visualization, learning
24	Holger Bönisch, Konrad Froitzheim	Server Side "Compresslets" for Internet Multimedia Streams.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	compresslet, Internet multimedia, compression, multimedia streaming, servlet
24	Joachim Posegga	Die Sicherheitsaspekte von Java.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Java Sicherheit, downloadable code, Java
24	John K. Ousterhout, Jacob Y. Levy, Brent B. Welch	The Safe-Tcl Security Model.	Mobile Agents and Security	1998	DBLP DOI BibTeX RDF
24	Declan O'Sullivan	CORBA-delivering a framework for building interactive multimedia systems.	NOMS	1998	DBLP DOI BibTeX RDF
24	Paolo Ciancarini, Robert Tolksdorf	Using the web to coordinate distributed applications.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
22	Chrystel Gaber, Gilles Macario-Rat, Simona David, Jean-Philippe Wary, Alain Cuaboz	Position Paper: Strengthening Applets on Legacy SIM Cards with Singularization, a New Moving Target Defense Strategy.	MSPN	2023	DBLP DOI BibTeX RDF
22	Bernardo Breve, Gaetano Cimino, Vincenzo Deufemia, Annunziata Elefante	User Perception of Risks Associated with IFTTT Applets: A Preliminary User Study.	ITASEC	2023	DBLP BibTeX RDF
22	Mahsa Saeidi, McKenzie Calvert, Audrey Au, Anita Sarma, Rakesh B. Bobba	If This Context Then That Concern: Exploring users' concerns with IFTTT applets.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
22	Bernardo Breve, Gaetano Cimino, Vincenzo Deufemia	Towards a Classification Model for Identifying Risky IFTTT Applets.	EMPATHY@INTERACT	2021	DBLP BibTeX RDF
22	Slavisa Radovic, Marija Radojicic, Kristina Veljkovic, Miroslav Maric	Examining the effects of Geogebra applets on mathematics learning using interactive mathematics textbook.	Interact. Learn. Environ.	2020	DBLP DOI BibTeX RDF
22	Martin Skrodzki	How the deprecation of Java applets affected online visualization frameworks - a case study.	CoRR	2020	DBLP BibTeX RDF
22	Mahsa Saeidi, McKenzie Calvert, Audrey Au, Anita Sarma, Rakesh B. Bobba	If This Context Then That Concern: Exploring users' concerns with IFTTT applets.	CoRR	2020	DBLP BibTeX RDF
22	Ke Sun, Hong Chen	Micro-innovative Design of Internet Products from the Perspective of User Stickiness - Illustrated by the Case of 360 Applets.	HCI (38)	2020	DBLP DOI BibTeX RDF
22	Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet	Confiance: detecting vulnerabilities in Java Card applets.	ARES	2020	DBLP DOI BibTeX RDF
22	Vasilios Mavroudis, Petr Svenda	JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets.	EuroS&P Workshops	2020	DBLP DOI BibTeX RDF
22	Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das 0001, Limin Jia 0001	How Risky Are Real Users' IFTTT Applets?	SOUPS @ USENIX Security Symposium	2020	DBLP BibTeX RDF
22	Martin Skrodzki	How the Deprecation of Java Applets Affected Online Visualization Frameworks - A Case Study.	VisGap@Eurographics/EuroVis	2020	DBLP DOI BibTeX RDF
22	Emiliya Velikova, Magdalna Petkova	Analysing Students' Creativity in Integrating GeoGebra Applets in Solving Geometrical Problems.	Balt. J. Mod. Comput.	2019	DBLP DOI BibTeX RDF
22	Noah Klugman, Prabal Dutta	Set and forget sensing with applets on IFTTT.	DATA@SenSys	2018	DBLP DOI BibTeX RDF
22	Nuno Martins, Fernando M. L. Martins, Joaquim Bernardino Lopes, José Cravino, Cecília Costa	The Use of Applets in Understanding Fundamental Mathematical Concepts in Initial Teacher's Training.	TECH-EDU	2018	DBLP DOI BibTeX RDF
22	Cinzia Bernardeschi, Paolo Masci 0001, Antonella Santone	Data Leakage in Java Applets with Exception Mechanism.	ITASEC	2018	DBLP BibTeX RDF
22	Ramakrishna Ayyagari, Norilyz Figueroa	Is Seeing Believing? Training Users on Information Security: Evidence from Java Applets.	J. Inf. Syst. Educ.	2017	DBLP BibTeX RDF
22	Nikitha Ganesh, Fabio Di Troia, Corrado Aaron Visaggio, Thomas H. Austin, Mark Stamp 0001	Static Analysis of Malicious Java Applets.	IWSPA@CODASPY	2016	DBLP DOI BibTeX RDF
22	Michael Roland 0001, Josef Langer, Rene Mayrhofer	Managing the life cycle of Java Card applets in other Java virtual machines.	Int. J. Pervasive Comput. Commun.	2014	DBLP DOI BibTeX RDF
22	Jan Gassen, Jonathan P. Chapman	HoneyAgent: Detecting malicious Java applets by using dynamic analysis.	MALWARE	2014	DBLP DOI BibTeX RDF
22	Eva Besada-Portas, José Antonio López Orozco, Luis de la Torre 0001, Jesús Manuel de la Cruz	Remote Control Laboratory Using EJS Applets and TwinCAT Programmable Logic Controllers.	IEEE Trans. Educ.	2013	DBLP DOI BibTeX RDF
22	Michael Roland 0001, Josef Langer, René Mayrhofer	(Ab)using foreign VMs: Running Java Card Applets in non-Java Card Virtual Machines.	MoMM	2013	DBLP DOI BibTeX RDF
22	Giovanni Morana, Emiliano Tramontana, Daniele Zito	Detecting Attacks on Java Cards by Fingerprinting Applets.	WETICE	2013	DBLP DOI BibTeX RDF
22	Johannes Schlumberger, Christopher Kruegel, Giovanni Vigna	Jarhead analysis and detection of malicious Java applets.	ACSAC	2012	DBLP DOI BibTeX RDF
22	Al Berg	Applets: Network Security.	Encyclopedia of Information Assurance	2011	DBLP DOI BibTeX RDF
22	Stéphane Mottelet, André Pauss	XMLlab : multimedia publication of simulations applets using XML and Scilab	CoRR	2011	DBLP BibTeX RDF
22	Stefan Stieger, Anja S. Göritz, Martin Voracek	Handle with Care: The Impact of Using Java Applets in Web-Based Studies on Dropout and Sample Composition.	Cyberpsychology Behav. Soc. Netw.	2011	DBLP DOI BibTeX RDF
22	Se-Won Oh, Seung-Joon Seok, Min-Soo Jung	An improvement for applets download speed using transaction buffer based on RAM memory of Java Card system using IC chip.	IEICE Electron. Express	2011	DBLP DOI BibTeX RDF
22	Julien Iguchi-Cartigny, Jean-Louis Lanet	Developing a Trojan applets in a smart card.	J. Comput. Virol.	2010	DBLP DOI BibTeX RDF
22	Won-Ho Choi, Seung-Joon Seok, Min-Soo Jung	An efficient installation for applets to be post-issuance of Java Card system using an IC chip.	IEICE Electron. Express	2010	DBLP DOI BibTeX RDF
22	Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä	Experimental Comparison of Concolic and Random Testing for Java Card Applets.	SPIN	2010	DBLP DOI BibTeX RDF
22	Dino Schweitzer, Scott C. Teel	Converting Computer Science Educational Applets to Mobile Devices.	FECS	2010	DBLP BibTeX RDF
22	Francisco Almeida, Vicente Blanco Pérez, J. Regalado, Adrián Santos	CoEDApplets - Collaborating in the Development of Teaching-oriented Applets.	CSEDU (1)	2010	DBLP BibTeX RDF
22	Hatem M. Bahig, Yasser Kotb	Interactive Visualization Applets for Modular Exponentiation Using Addition Chains.	HAIS (2)	2010	DBLP DOI BibTeX RDF
22	Wajeeh M. Daher	Students' Perceptions of Learning Mathematics With Cellular Phones and Applets.	Int. J. Emerg. Technol. Learn.	2009	DBLP DOI BibTeX RDF